Clarity on comparing named nodes, strings and time literals

[pietercolpaert]

trafficstars

• Fixes some typos
• Brings back text clarifying how to handle:
  • strings with unicode ordering
  • named nodes
  • non time zoned xsd:dateTime literals
• Removes sections when they are just 1 line, and just add this into the text itself

[constraintAutomaton]

Depending on your schedule for this PR, @pietercolpaert, maybe we could make a first PR to fix the typos in the spec (which I am sorry to have introduced).