How to Build a Language: Language Typology and Universals