use non-static atermcommands
remove CompilationUnit
include layout constructors
include layout sugar constructors
manual fix to support Haskell and Aterm lists
manual ts constrcuctor merge
bugfix: illegal qualified module Id
manual merge of typesmarts
forward sort of sub
bugfix: desugaring generated illegal term which confused constructors and variables