Update documentation.
Update wording in language spec.
Update language specification.