Changes
- Added built-in type:
Maybe - Support for (mono-kinded) typeclasses, such as
EqandMonoid - Added several built-in typeclasses:
Eq,Ord,Semigroup, andMonoid - Several small efforts were made to prettify the resulting output
MaybeEq and MonoidEq, Ord, Semigroup, and Monoid