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

fix bug in fusion: store type information of let bound variables when transforming case (let ) to let (case )

change type PredefinedSymbolsData  to !{psd_predefs_a :: !{#PredefinedSymbol}} (an extra field will be added later)

replace type PredefinedSymbols by type PredefinedSymbolsData:==PredefinedSymbols (to be changed later)

remove some unused functions

this may occur if the result type of a synonym type or newtype is a type variabele,
this should be fixed

	

use synonym type AttrVarHeap instead of Heap AttrVarInfo

by code that checks if it is an ExtensibleAlgType and whether the root attribute and arity are the same

reorder some function arguments,
don't call getBelongingSymbols again in get_nth_belonging_decl

modules_explicit_imports, component_mods and path to functions

specialize functions search_symbol and search_imported_symbol for searching a symbol or belongings of a symbol,
the specialize functions for belongings are search_belonging_symbol and search_imported_symbol_and_belonging,
remove cUndef, implies and stupid_ident

rename function try_children to search_symbol_in_imports,
inline local function continue

add some function types

replace fields icl_import and icl_qualified_imports by icl_imported_instances,
add type GlobalInstanceIndex,
add function collect_imported_instances to module explicitimports,
remove unused Position from si_qualified_explicit

add type GlobalInstanceIndex,
add function collect_imported_instances to module explicitimports,
remove unused Position from si_qualified_explicit