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

[Julow]

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