Removed unnecessary using declaration in sfinae code.
Added missing sentence-ending punctuation to the internal sentence production, since the automatic addition is neither written yet nor intended to deal with these internals.
Introduced a more consistent predelete mechanism and used it to properly unjustify negative annotation facts.
Fixed various parser bugs.  Still remaining are a problem with lexing punctuation and a problem about the antecedent structure for boundary-terminated matches.