implement (etaRedex? term) in lambda-style (almost pure); add missing conversion $ConstT -> (P6) ConstT
add TermADT fn Term->source