Effects: double translation of functions and dynamic switching between direct-style and CPS code

Effects: double translation of functions and dynamic switching between direct-style and CPS code #93