added parser support for monad lattice notation; see examples/unit-tests/prims.fst for an example of the concrete syntax