fix name of init editor
Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega
fixed mapm (I think)
Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega
allow paren-free context syntax
play around with do blocks, fixed liftM2
Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega
only normalize well-kinded types
no normalization for kind analysis
fix kind requirements
ignore MapM for now
no type normalization for kinding
support kinding of type-of, not working
fix kind premise
Concrete syntax for contexts
Bugfix: explode and implode were not identity.
Added new example: enum types.