status'.md

@@ -200,6 +200,99 @@ since we have a substantial amount of work to do there which requires focused at
 <th></th>
 <th></th>
 <th></th>
+<th></th></tr>
+<tr><th> allow [TypeSynonymInstances](type-synonym-instances)</th>
+<th>[\#70](https://gitlab.haskell.org//haskell/prime/issues/70)</th>
+<th> SJT     </th>
+<th></th>
+<th> superseded by [NewtypeDeriving](newtype-deriving)?
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th> not very useful without [FlexibleInstances](flexible-instances) and/or [OverlappingInstances](overlapping-instances)</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th>[RelaxedDependencyAnalysis](relaxed-dependency-analysis)</th>
+<th>[\#65](https://gitlab.haskell.org//haskell/prime/issues/65)</th>
+<th> HN, MS  </th>
+<th></th>
+<th> None
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th>[ImpreciseExceptions](imprecise-exceptions)</th>
+<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
+<th></th>
+<th></th>
+<th> may require a standard deepSeq to be usable
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th>[NondecreasingIndentation](nondecreasing-indentation)</th>
+<th>[\#53](https://gitlab.haskell.org//haskell/prime/issues/53)</th>
+<th> SM      </th>
+<th></th>
+<th> None
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th> fix the lexical syntax for [QualifiedIdentifiers](qualified-identifiers)</th>
+<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
+<th> SM       </th>
+<th></th>
+<th> permit qualified identifiers in definitions?                  
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th>[FlexibleInstances](flexible-instances)</th>
+<th>[\#32](https://gitlab.haskell.org//haskell/prime/issues/32)</th>
+<th></th>
+<th></th>
+<th> choice of instance conditions for termination of typechecking
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th> poor interaction with [NewtypeDeriving](newtype-deriving)?
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th> add [NewPragmas](new-pragmas)</th>
+<th>[\#51](https://gitlab.haskell.org//haskell/prime/issues/51)</th>
+<th></th>
+<th></th>
+<th> choose specific pragmas to standardize
+</th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
+<th></th></tr>
+<tr><th></th>
+<th></th>
+<th></th>
+<th></th>
 <th></th></tr></table>
 
 ---