SMS: Thinking with type