LambdaP syntax in Ocaml