<<< native [ ESuper (EIdentifier "e") (EIdentifier "x") , ESymbol Rel "=" , EOver False (ESuper (EIdentifier "e") (EIdentifier "x")) (EPhantom (EIdentifier "z")) ] >>> mml e x = e x z