[ReferenceCount] usually consists of many RC_Unused,
these lists are replaced by a single ReferenceCountsAllUnused

add types in TC contexts of constructors with dictionaries to the type environment of dynamic types (at runtime).
to fix for example:

:: T = E.a b: A (a -> b) & TC a & TC b

tToDyn :: !T -> Dynamic
tToDyn (A x) = toDyn x

toDyn :: a -> Dynamic | TC a
toDyn a = dynamic a

instead add only one gtpv_subst variable for each sequence of _bind_global_type_pattern calls

we can currently only check if there is an import, not whether it should be a qualified import

the Declaration list contains 2 identifiers for a generic function definition,
copy the generic definition from the definition module once instead of twice

fix substitution of universally quantified uniqueness attributes in function determineTypeOfMemberInstance,
to prevent compiler crash for:
:: T m a = T (m (a, a))
derive bimap T, (,)

print expression in error message in cannot_unify

(to make it possible for the IDE to recompile if necessary)

should be converted in module convertDynamics, instead of storing a list with one nilPtr in fi_dynamics,
remove unnecessary Let expressions with unused variables by
initializing with VI_NotUsed instead of VI_Empty