Context-sensitive subject equivalence
for native type assignment.
</news>
- <news date="In progress.">
+ <news date="2012 April 16.">
Context-sensitive subject equivalence
- for atomic arity assignment.
+ for atomic arity assignment
+ (anniversary milestone).
</news>
<news date="2012 March 15.">
Context-sensitive strong normalization