added literals as a tag names; require balancing of brackets in qname expressions;
change the exists-one operator from ` to ;, which is more eye catching