A Semantic Typology of Definiteness