Simplified Zimt.fn.
Zimt.fn refactoring.

Function expressions can only be function identifiers or dereferenced
function pointers.
Zimt.unit' -> Zimt.void'
Basically, functions are now second class citizens, just like in C.
Caml bindings. Zimt unnamed args.

Working on Caml bindings.
Zimt: Unnamed function arguments.
Functions. Folds. Beautify.

Functions must have at least one argument.
Fold classes for GADT are annoying because of type specifications.
ZimtType/ZimtExpr: ['a] fold_t, default_fold, make_fold.
Newline.
Scratch this.
Scratch this.
Comments. Modules as syntactic sugar for environments.
Updated readme.
Comment
Comments, headers, deftype' dont work.some stuff like deftype' does not work currently. Headers are implicit now, for each identifier.
Added polymorphic type in Caml, not yet sure.
Make type of pretty printer private. Add runPP instead.
Wording.
Sometimes, verbosity is ok.
ZimtPrinter bare bones.
TODO.md added