Add note about potential checkpointing issue
Remove unused meta-sexp transform
Add Optima patterns for statements and statement blocks
Add rules for coalescing multi-statement blocks
Compile funcalls and array ref op-nodes properly
Add note about variable names
Add and use a closure-producing thread-it function.

thread-it has closure (you can thread the result of thread-it), which will be useful later. The -> function is now backed by thread-it.
Load the transforms file with the system
Handle max-length and padding for string literals
Remove invalid default justification
Add transform for top-level assignments

A statement that is an expression of the form (= x y) is an assignment, not an equality check, but elsewhere it might be either.