Lambda

data Exp

simplifyAll

simplifySteps

showReduction

usestypecons

isOpenExp