Zaslat SMS: Sorts, ontology, and metaphor