Transformations
qual
derive
desugar
insertDicts
removeNewtypes
simplify
lift
ilTrans
transType
completeCase