Major revision of definitions section of language spec.