An encoding of Ordered Linear Types in OCaml