Changed TT semantics to use capturing continuations
Proposed some well-formedness judgments
Made an attempt at the remaining eval rules