5.5 support: Distinguish `(module M : S)` from `(module M) : (module S)` in patterns

[Julow]

Upstream PR: ocaml/ocaml#14149
We already do something similar. We must make sure that our parsing is consistent with upstream.