Thinking With Type