TS: FIXME later constant expressions evaluator can not handle the new parameterised types, hence skip entering any of those, types with parameters should probably be replaced with their actual types.
TS: Fixed some checking if multi tag tuple or not, as well as started on user type c-structure.