Thinking with Type