<<< native [ ESub (EIdentifier "u") (EIdentifier "n") , EOver False (ESymbol Rel "\8594") (EIdentifier "w") , EIdentifier "u" ] >>> eqn u sub n -> to w u