This branch introduces a number of fixes, optimizations, and extensions on the cextensions module, with speedup purposes. The module is now built by default, but still disabled unless the STORM_CEXTENSIONS=1 environment variable is defined.
Besides these, Chris also provided a mechanism to cache ClassAliases, to prevent the cost of rebuilding the ClassInfo for each alias.