Define lexicographical orders directly as a strict order.
Some theorems about zip and zip_with.
Start integrating memory model with sequence point semantics.
Add finite map with integer keys Z.
Update copyright headers.