+comment in typeMerge
simplify findExistingInstance
Reduce goto-s
Reduce fargs parameter (maybe this is not good for TypeFunction::fargs?)
Remove unused fields h((base)?type|aliassym|init)
+comment