First draft of the OCAMLLIB patch

Surely not good enough to inclusion, but at least there's something to discuss.