Module type Syntax

opening a module of this type allows one to use the %bind and %map syntax extensions defined by ppx_let, as well as brings return into scope