abstract memo with (lam, rands, store) checking, appTable pointing to
states, returnKont as appl marker
renaming lc -> amemo