indicates a system module will be set

unboxed array applied to a basic type is explicitly treated as
a type of kind star.

execution times

move some definitions from settings.c+h to sa.c

to convert the syntax tree and the analyser is used
again for functions that are generated later

with existential variables)

- compute correct number of type variables in type scheme
- normalise if necessary

- compare def imp for generics
- foldExpr
- type synonym expansion

Fix bug with arity checks;
Fix bug with unification with universal quantors.

The fix is to not use the index and table of type code constructors,.
The indices and tables should be cleaned up later.

bug fix for loop with unsigned int

better check for properties of abstract types,
check for linearity of instance types,
uniqueness bug for type synonyms,
kind check for function (arrow) types