Started on a new Redex model for LVish.
Implement consume.  Add frozenness flags to LVars.
Comments and cleanup.
Tighten up some types; improve some comments.