Thinking through a type system