simplify matching requirements for trivial functions

better free var info for cases
clear info in heap for casefun generation

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