Checkpointing latest work

Began using more compact data structures, indexed by number of nodes in an
element, in a face, etc.