CoreOpt
simpleOptPgm
simpleOptExpr
simpleOptExprWith
joinPointBinding_maybe
joinPointBindings_maybe
exprIsConApp_maybe
exprIsLiteral_maybe
exprIsLambda_maybe
pushCoArg
pushCoValArg
pushCoTyArg
collectBindersPushingCo