.sets is a mathematical intermediate representation of a language type system