wip
some fixes.  model still does not go through.
another missing mut qual.
field "names" must be numbers in this model.
uncommented other code in attempt to see what happens.
fixes to get var-addr implemented.  Commented out some failing tests to get end-to-end run.
reintroduce test cases that actually work.
Merge pull request #1 from pnkfelix/master

get us closer to something plausible.
fixed beta meta-variable (so that one can use it as well as alpha as
prefix for occurrences).

added printf instrumentation to figure out where things are now going
wrong: answer, FREE-CELL and MOVE meta-functions are not yet defined.
Merge pull request #2 from pnkfelix/master

fixed beta meta-variable (so that one can use it as well as alpha)
start work on a new model
more work, trying to get lvaddr to work, not QUITE there
lvtype works now
lvaddr works
change naming convention