1. CPS an interpreter for FAE, a language with

-vars
-funs
-apps
-nums
-plus

1-arg functions are fine.

Only interp needs to be CPSed.

Use envs or subst, as you wish.