First pass on analysis.
- follows COAAM closely, minus imperative data and abs. compilation
- TODO:
  - object support a la λH
  - abstract gc
  - abstract counting, including hash generalization (λH again)
  - abstract compilation
First pass on objects and improved avalue
Moved the machine to a more appropriate location.
Got rid of default widening, preparing for plug-and-play transition.