Ops

NewType NewTypeT

Out

Add Remove Replace

OverTagged

supertagged

ordering

LiftedOrdering LiftedOrderingT