Transformations

qual

desugar

simplify

lift

ilTrans

transType

completeCase