<<< native [ EUnderover False (EIdentifier "B") (EIdentifier "under") (EIdentifier "over") , ESymbol Rel "=" , EOver False (EUnder False (EIdentifier "B") (EIdentifier "under")) (EIdentifier "over") ] >>> mml B under over = B under over