Following our discussion, improving OCamlPro's visibility a little bit.

(PRing again to master as the PR to 'redesign' was closed when the branch was deleted)

ref: #304, #308