Made free variable calculation lazy and generic. Made states extend a base class so that functional update is easier.
Refactored states into base, point and configurations. Continuations are quasi-lists of frames.
Added per-point stores with GC and optional counting in points. Uses full store joins -- slowww, but it finishes on sort.