ref: dd6d15f672fd622dbca510bd562d66c629bca6a3
dir: /TODO/
* Add strict constructors * Put on hackage * Have compile return a Stats record of timing etc * Add overloading * Implement deriving * Add forall to the syntax of types so it can be nested - Rank-N requires small changes in the type checker * Add the possibility to save a compiler cache in a file - Add SHA checksumming to the C code - Use filename as the cache lookup key and SHA for validation * make an interactive version - implement catch (and maybe throw) using setjmp & longjmp - make the runtime system catch ^C and stop execution * use pointer stack during GC instead of recursion. * add Double primitive type * implement Data.Integer * add pretty printing library * reimplement Map with Adams trees