Added t-fold to type language. Wrote t-trans.