Support OxCaml modalities

[shonfeder]

The modalities are not shown at all:

type 'a portended = Portend of 'a @@ portable contended

type 'a t = { shared : 'a @@ shared }

Specified by @art-w