Theoretical Linguistics, Language Typology, General Linguistics