+ for simply typed terms.
+ </news>
+ <news date="2013 April 16.">
+ Reaxiomatized substitution and reduction
+ commute with respect to subclosure
+ (anniversary milestone).
+ </news>
+ <news date="2013 March 16.">
+ Mutual recursive preservation of stratified native validity
+ for hyper computation on closures.