Editorial fixes for sections 6.12-6.16 in syntax spec.