implement (betaRedex? term) in lambda-style (almost pure)
implement (betaReducible? term) in lambda-style (almost pure)