Fixed stupid copy and paste error and added type-eq-app
Translate expectation for type application
Merge remote-tracking branch 'upstream/fomega' into fomega
Expectation for an app, type-eq-var
Do blocks and counter monad
CounterMonad and mapM
Simpler definition of do blocks
Generate constructors from ADT def.
fix name of init editor
Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega