use(eta).

etas(S,S).

eta(S,T) -> etas(S,T).

(etas(S,T) and eta(T,U)) -> etas(S,U).

precedence([free,subst,etas,eta,app,abs,var]). %hg