Update Check, ParsedDocument ...

assertion definitions, and test definitions in
'tests_languages.properties'. All addAssertionXYZ() methods now make
use of the AssertionProvider, and are more thouroughly documented.