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.