build type-info in semantic, not during code-gen
analyse unittests and create struct literals for typeinfo only in root modules and template instances
fix inTemplateInstance -> isInstantiated