- implements base classes for class instances and class specializations
- allows for instantiation/specialization during incremental reindexes
- prior to this a full reindex was required to properly resolve newly added
implicit instances and specializations
- renders templates less exception-prone
- cleaned up code from last patch
