Error highlighting for datatypes from XML Schema, e.g. xsd:date

User should be warned when a typed literal's value violates the format. Examples of such violations:

• "2010-21-01"^^xsd:date, the second number should be a month, but not a day,

• "0.1"^^xsd:integer.