converted test programs to ANF
* updated dsg.js, pushdown.js
* require ss equality for memo
freeVariables narrowing in EvalState
explicit memo table and stack summaries
RaAppStackSummary
rudimentary memoization