<subsection>Stage "A": "Weakening the Applicability Condition"</subsection>
<news date="2014 September 9.">
- Interated static type assignment defined (more elegantly)
+ Iterated static type assignment defined (more elegantly)
as a primitive notion.
</news>
<news date="2014 June 18.">