<<< mml $v^{w^{x^{y^z}}}$ >>> native [ ESuper (EIdentifier "v") (ESuper (EIdentifier "w") (ESuper (EIdentifier "x") (ESuper (EIdentifier "y") (EIdentifier "z")))) ]