status'.md

@@ -34,191 +34,158 @@ since we have a substantial amount of work to do there which requires focused at
 
 ## "definitely-in" Proposal Status
 
-<table><tr><th> Description                      </th>
+<table><tr><th> Description                         </th>
 <th> Ticket </th>
 <th> Writers </th>
 <th> Draft report text </th>
-<th> Decisions made                           </th>
-<th> Currently open issues                                               
+<th> Currently open issues                    
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
 <tr><th> add some kind of [Concurrency](concurrency)</th>
 <th>[\#74](https://gitlab.haskell.org//haskell/prime/issues/74)</th>
 <th> IJ, SM  </th>
 <th></th>
-<th> - basic concurrency interfaces           </th>
-<th> - cooperative or preemptive              
+<th> cooperative or preemptive                
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th> - concurrent and reentrant foreign calls </th>
-<th> - foreign call annotation syntax         
+<th> foreign call annotation syntax           
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th> - bound threads as a specified extension </th>
-<th> - semantics of IORefs                    
+<th> semantics of IORefs                      
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
 <tr><th> add [ForeignFunctionInterface](foreign-function-interface)</th>
 <th>[\#35](https://gitlab.haskell.org//haskell/prime/issues/35)</th>
 <th> MC, SM  </th>
 <th></th>
-<th> - additional C99 types and casts         </th>
-<th> - transparent marshalling of newtypes    
+<th> transparent marshalling of newtypes      
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th> - add signed and unsigned char casts     </th>
-<th></th></tr>
-<tr><th></th>
-<th></th>
-<th></th>
-<th></th>
-<th></th>
 <th></th></tr>
-<tr><th> add multi-parameter type classes </th>
+<tr><th> add multi-parameter type classes    </th>
 <th>[\#49](https://gitlab.haskell.org//haskell/prime/issues/49)</th>
 <th> MS      </th>
 <th></th>
-<th> - in assuming there is a suitable mechanism for type-indexed types                                          </th>
-<th> - [MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)</th></tr>
+<th>[MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)</th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
-<tr><th> add RankNTypes or Rank2Types     </th>
+<tr><th> add RankNTypes or Rank2Types        </th>
 <th>[\#60](https://gitlab.haskell.org//haskell/prime/issues/60)</th>
 <th> AL      </th>
 <th></th>
-<th></th>
-<th> - RankN or Rank2?                        
+<th> RankN or Rank2?                         
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
 <tr><th> add [PolymorphicComponents](polymorphic-components)</th>
 <th>[\#57](https://gitlab.haskell.org//haskell/prime/issues/57)</th>
 <th> AL      </th>
 <th></th>
-<th></th>
-<th> - dependency on Rank2Types or RankNTypes                                                          
+<th> dependency on Rank2Types or RankNTypes                                                            
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
 <tr><th> add [ExistentialQuantification](existential-quantification) (existential components) </th>
 <th>[\#26](https://gitlab.haskell.org//haskell/prime/issues/26)</th>
-<th> AL, MS, SJT        </th>
-<th></th>
+<th> AL, MS, SJT  </th>
 <th></th>
-<th></th></tr>
+<th> syntax of existentials        
+</th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
 <tr><th> add [HierarchicalModules](hierarchical-modules)</th>
 <th>[\#24](https://gitlab.haskell.org//haskell/prime/issues/24)</th>
 <th> IJ, BH  </th>
 <th></th>
-<th></th>
-<th>   None                                                                         
+<th>  None                                                                                                             
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
 <tr><th> add [EmptyDataDeclarations](empty-data-declarations)</th>
 <th>[\#25](https://gitlab.haskell.org//haskell/prime/issues/25)</th>
 <th> BH, HN  </th>
 <th></th>
-<th></th>
-<th> - dependency on [KindAnnotations](kind-annotations)</th></tr>
+<th> dependency on [KindAnnotations](kind-annotations)</th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
 <tr><th>[DoAndIfThenElse](do-and-if-then-else)</th>
 <th>[\#23](https://gitlab.haskell.org//haskell/prime/issues/23)</th>
 <th> SM, HN  </th>
 <th></th>
-<th></th>
-<th>  None                                    
+<th>  None                                   
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
-<tr><th> fix comment syntax grammar       </th>
+<tr><th> fix comment syntax grammar          </th>
 <th>[\#42](https://gitlab.haskell.org//haskell/prime/issues/42)</th>
 <th> SM      </th>
 <th></th>
-<th></th>
-<th>  None                                    
+<th>  None                                   
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
 <tr><th> add [PatternGuards](pattern-guards)</th>
 <th>[\#56](https://gitlab.haskell.org//haskell/prime/issues/56)</th>
 <th> RN, DS  </th>
 <th></th>
-<th></th>
-<th>  None                                    
+<th>  None                                   
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr>
 <tr><th> add [InfixTypeConstructors](infix-type-constructors)</th>
 <th>[\#78](https://gitlab.haskell.org//haskell/prime/issues/78)</th>
 <th> BH, AL  </th>
 <th></th>
-<th></th>
-<th>  None                                    
+<th>  None                                   
 </th></tr>
 <tr><th></th>
 <th></th>
 <th></th>
 <th></th>
-<th></th>
 <th></th></tr></table>
 
 ---