a compiler crash in transform when a macro uses another macro
in a pattern, that are both defined in the same module

and fix exported label name for unboxed lists of records

macros with a function type, instead of ignoring the
type, or crashing when the arity is incorrect

to function signClassification

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.