simple tr redex working on all examples thus far