Mini Haskell parser, type checker, interpreter and compiler.