new recursive fun implementation
use FailExpr for neverMatchingCase
strip and dump commandline args

of arguments, synonym types with arguments in different order,
for example T a b :== a -> b in dcl module and T b a :== a -> b
in icl module

declaration, or when both are in different modules on a cycle.

there are no function generated in convertDynamics

the DclModule array

es_main_dcl_module_n,	es_dcl_modules and es_expand_in_imp_module

Make all dictionary arguments active

better names for curried producers