More cleanup of the language spec. No code changes.