implement etaContract :: TTerm -> Maybe TTerm in lambda-style (almost pure)