Feldspar.Core.Constructs.Binding
optimizeLambda
optimizeFunction
prjLambda
betaReduce
cLambda