Got the core lambda calculus to cps compiling
Added summation to cps translation