print expression in error message in cannot_unify

(to make it possible for the IDE to recompile if necessary)

should be converted in module convertDynamics, instead of storing a list with one nilPtr in fi_dynamics,
remove unnecessary Let expressions with unused variables by
initializing with VI_NotUsed instead of VI_Empty

remove old prototypes from scanner.h,
remove #ifndef CLEAN2 .. #endif

by using a SK_OverloadedConstructor instead of a SK_Constructor

no longer necessary because clm supports import code from,
compile module backendconvert with -fusion

export label of node entry for Array methods for arrays of unboxed records if exporting local labels

(while matching types of instances)

this adds local functions of instances and generic cases to the ifi_local_function_indices,
in order to check the kinds of these local functions