simple tr redex *all* examples working