in match in module overloading, if a type variable occurs more than once in an instance type, compare the types, not yet used, to be used later only for generic instances

bug fix, report overloading error if a dictionary cannot be added to a missing overloaded argument (instead of crashing)

bug fix, don't make the node state strict for a record selection of a record with one lazy field (in codegen2.c)

fix second last commit: remove first argument type for BESetMemberTypeOfField and sdef_member_type_of_field and first State of sdef_member_states_of_field

remove first argument type for BESetMemberTypeOfField and sdef_member_type_of_field and first State of sdef_member_states_of_field

don't allow attributes of type constructor variables in type class contexts, instead of requiring uniform attribution of all occurrences in the type and the context (in inferred types these attributes are removed from type class contexts)

prevent generation of unused record descriptors for dictionaries, by not converting the first argument type of a class member type

bug fix, prevent possible compiler crash if fusion stops because the fused function arity>32 for an instance member

feature, add optional list of ignored generic functions to derive class, e.g. derive class C \ gEq,gPrint T

fix bug, copy gen_var_kinds of implementation module to definition module for exported generic functions

refactor, remove unused constructor KI_ConsVar, unused field tci_dcl_modules and unused argument dcl_modules