occursP, occursE
free occurrences
More simplifications, including eta reduction and let-combining
"ShowFolded" --> "Sugared"
"app" --> "(@^)" and has no type argument
expHasTy
moved (#) def to Lambda
resume