add and initialize sp and arcd (activation record) to Frame.
refactor the State Monad.
munchStm for some T.Stm.