Seriously, #OCaml?

This is some of the most opaque code I've ever read:

```
module Syntax = struct
let ( let* ) = Option.bind
let return x = Some x
end
```

@gavmor this feature is powerful but confusing and requires a bit a of time to figure out what it does and how to use it. See https://ocaml.org/manual/5.2/bindingops.html
OCaml - Language extensions

@gavmor in the case of the option type, it allows you to write a program as if you always had a value without having to check if it's None.