<news date="In progress.">
Context-sensitive subject equivalence
for native type assignment.
</news>
<news date="In progress.">
Context-sensitive subject equivalence
for native type assignment.
</news>
<news date="2014 June 18.">
Preservation of stratified native validity
for context-sensitive computation on terms.
<news date="2014 June 18.">
Preservation of stratified native validity
for context-sensitive computation on terms.