Wed Nov 25 08:41:21 CET 2009

VM ideas

To make varref work, the compiled lambda expressions need to be
modified.  Since this is a caching operation, it could be done at
runtime, whenever a varref is encountered.

Essentially, a bare-bones lambda expression is a tree containing:
  - constants
  - variable references
  - abstractions
  - special forms

The goal to speedup:
    - eliminate variable lookup
    - eliminate intermediate structures (deforestation)