make pairwise essentially tail-recursive
make continuations on the stack
CONT_STK
jumptable recreated for new instructions
environment tests
add a function to move environments up the stack (necessary for tail call opt.)
prototype for __arc_menv
try to do something about reified continuations
implement most of the rest of the instructions
new instructions in the instruction set