An implementation of the postfix language using OCaml