Initial commit - defined CPS transform.
Proof that CPS transform produces valid terms.
Simplification of proof.