Make sure we target Array.update only with ExUpdate
Print TypedFunDef, add 2 case studies
Fix case-study
Fix header (2013 -> 2014). Add script to do so.
Add Travis badge
Fix Equality of Implies. Disambiguate other's hashCode a bit.
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