Sun Aug 2 11:00:15 EDT 2015

State as hierarchical binding constructs

It might be best to insert state binding constructs and initial values
hierarchically in the code.  Use the State monad only for tracking
numbering state.

It seems packaged better that way: binding constructs are closer to
where they are used.  It's easy to fish them out later.