Theory and Typology of Proper Names