ToyML specification

See also the Standard ML grammar at https://www.mpi-sws.org/~rossberg/sml.html