Title: Thinking with Type