Comments/warnings
Typed version of one-pass CPS transform

To write this, I just needed to mechanically convert from the
UntypedTerm API to the Term API.