make PrintC SNOC instead of CONS, and Print not in REVERSE

(the proof in repl_fun_alt_proofs is still commented out; this will
likely break it more)