Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)` (commit: e374459)
Changes (commit: 8c63001)