pattern-synonyms.md

@@ -635,6 +635,11 @@ For any modules `M``N`, if we import `N` from `M`,
 - The abbreviated form `T(..)` brings into scope all the constructors, methods or field names exported by `N` as well any patterns associated with `T` relative to `N`. 
 - The explicit form `T(c1,...,cn)` can name any constructors, methods or field names exported by `N` as well as any patterns associated with `T` relative to `N`. 
 
+#### Typing
+
+
+WIP
+
 #### Clarification
 
 - Associated patterns are typechecked to ensure that their type matches the type they are associated with.