(untested) fixpoint version of cps_term_trans w/o type inferencer