</news>
<subsection>Stage "A": "Weakening the Applicability Condition"</subsection>
+ <news date="2014 September 9.">
+ Interated static type assignment defined (more elegantly)
+ as a primitive notion.
+ </news>
<news date="2014 June 18.">
Preservation of stratified native validity
for context-sensitive computation on terms.