Less general, more obvious tmap/tfilt cps defs
Exploring some state machine reps