<<< native [ EIdentifier "x" , ESymbol Bin "+" , ESuper (EIdentifier "y") (EIdentifier "n") ] >>> mml $$x+y^n$$