Editorial fixes to sections 6.0-6.2 in syntax spec.