Prettier printing of generated ML: omit parentheses in expressions where possible.
Omit casts where possible in generated C.
More casts omitted (look through views)
Flush formatter at end of C generation.
Note a TODO regarding managed blocks.
Distinguish values and computations in the intermediate representation.
Eliminate trivial bindings in generated C code.
Generate ML types for bigarray types.
Test for calling atomic builtins via stub generation.