status'.md

@@ -300,6 +300,102 @@ since we have a substantial amount of work to do there which requires focused at
 <th></th>
 <th></th>
 <th></th></tr>
+<tr><th>[BangPatterns](bang-patterns)</th>
+<th>[\#76](https://gitlab.haskell.org//haskell/prime/issues/76)</th>
+<th></th>
+<th></th>
+<th> top-level bang patterns
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th> interaction with ! as an operator
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th> bang-pattern polymorphism
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th> existentials and bang patterns
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th>[ScopedTypeVariables](scoped-type-variables)</th>
+<th>[\#67](https://gitlab.haskell.org//haskell/prime/issues/67), [\#81](https://gitlab.haskell.org//haskell/prime/issues/81)</th>
+<th> MS    </th>
+<th></th>
+<th> specification of syntax that binds type variables
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th> generalized deriving for newtype ([NewtypeDeriving](newtype-deriving)) </th>
+<th>[\#52](https://gitlab.haskell.org//haskell/prime/issues/52)</th>
+<th></th>
+<th> specification that does not reference "the same representation"
+</th>
+<th></th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th> overlap with [TypeSynonymInstances](type-synonym-instances)</th></tr>
+<tr><th> remove [FixityResolution](fixity-resolution) from the context-free grammar </th>
+<th>[\#30](https://gitlab.haskell.org//haskell/prime/issues/30)</th>
+<th> SM </th>
+<th></th>
+<th> None
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th> improve [Defaulting](defaulting) rules     </th>
+<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
+<th></th>
+<th></th>
+<th> scope of default clauses
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th> impact on existing defaults
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th>[KindAnnotations](kind-annotations)</th>
+<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
+<th> BH, AL  </th>
+<th></th>
+<th> None
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
+<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th>
+<th> RN      </th>
+<th></th>
+<th> treatment of pattern bindings with explicit type signatures
+</th></tr>
 <tr><th></th>
 <th></th>
 <th></th>