Implement consume.  Add frozenness flags to LVars.