add TermADT fn Term->children
implement (etaReducible? term) in lambda-style (almost pure)