<<< native [ ESuper (EIdentifier "v") (ESuper (EIdentifier "w") (ESuper (EIdentifier "x") (ESuper (EIdentifier "y") (EIdentifier "z")))) ] >>> eqn v sup {w sup {x sup {y sup z}}}