Overhaul of type annotations for generated OCaml code. Printing beta-redexes as `match-with` expressions. Some cleanup of logging code.