Model theory of special subvarieties and Schanuel-type conjectures

We use the language and tools available in model theory to redefine and clarify the rather involved notion of a special subvariety known from the theory of Shimura varieties (mixed and pure).