added lit-exp, lambda-exp, and if-exp as cps