Formalize the continuations used in Zinc/Eval.hs
Complete the numerical abilities
Finish the basic features