es3


      data  BinNumTree ::=  Leaf Int | Mktree Int BinNumTree BinNumTree

se non vogliamo l'albero vuoto,
oppure

data  BinNumTree ::= Emptytree | Mktree Int BinNumTree BinNumTree