Editorial fixes to sections 6.3-6.11 in syntax spec.