Lambda
data
Exp
simplifyAll
simplifySteps
showReduction
usestypecons
isOpenExp