Transformations
qual
desugar
simplify
lift
ilTrans
transType
completeCase