RecursiveEvaluator only considers calls as steps
Handle Choose and LetTuple correctly in instantiateType
Correctly extract methods from single case-classes
Memoisation init
Before refactoring away abstraction
Starting create methods
Before refactoring richTypes to use side-effects
First version of create-methods, with many FIXMEs
Simplified constructor code
Fxd constructors to not use object they construct
Correct transofmations now applied to constructors
Allow user to specify output file for Memoization
Reimplemented isolateRelevantCases
Various bug fixes/cosmetic changes
Corrected a bug in IfExpr
After rebase
Constructor now calculates fun. deps correctly
Fixed bug at adding WildcardPatterns
Added one function
Corrected package name