doesn't work yet in Clean 2.0

which included commits to RCS files with non-trunk default branches.

pass TypeSymbIdent boxed in TA to function 'expand_syn_types_in_TA' instead of unboxed to prevent reboxing

Universally quantified types (parsing and inference)

which included commits to RCS files with non-trunk default branches.

which included commits to RCS files with non-trunk default branches.

renamed cNeedStdDynamics as cNeedStdDynamic

which included commits to RCS files with non-trunk default branches.

fixed bugs in generics
reimplemented kind-indexed type specialization

moved function get_ident from checksupport to check