First draft of the OCAMLLIB patch

Surely not good enough to inclusion, but at least there's something to discuss.

I'm not sure what's the right way to return an error in case a `+name` cannot be resolved properly.