This procedure processes type declarations – identifiers that denote types. Object types have their own processing.