function parseCommandLine in module compile removes these

prevent compiler crash when importing a generic function definition of a non generic representation type,
for which shorthand instances are generated

for non generic representation types, prevents error when comparing definitions
in implementation and definition module

improve error message in case an instance or generic derived class instances are both defined and imported

try to find a TC dictionary that is used in a dynamic expression also in the dictionaries of constructors
with dictionaries that are used in a pattern match.
First try to find them in convertDynamicTypes in dynamic patterns and function constraints, if that fails,
create an EI_TypeOfDynamicAndTCsToFind, and try again in updateExpression, if that also fails report an error.

optimise the following case: an alternative for each constructor, at least 3, one alternative cannot fail and the other
alternatives yield the same boolean result.
Remove those boolean result alternatives, and add a default with this result.

move calls to expand_type and coerce in module trans to new function expand_and_coerce_type in module unitype

partial function application with one partial function application argument

only fuses (transforms) generic functions and adds an extra
pass before the normal fusion pass that only fuses (transforms)
generic functions, but not recursive producers

during fusion, mark unused producer (PR_Unsed) expressions and variables with VI_NotUsed and ExprToBeRemoved