Sorts, Ontology, and Metaphor