fix TermADT function subst (use lambda accessor), rewrite tests for subst
implement betaContract :: TTerm -> Maybe TTerm in lambda-style (almost pure) - up to the check for Omega