Isn't the confusion just that the Disco language uses the same symbol for its type that math uses for a very commonly known set? The symbol ℕ commonly refers t

Isn't the confusion just that the Disco language uses the same symbol for its type that math uses for a very commonly known set? The symbol ℕ commonly refers to a set, but on Disco it suddenly refers to a type, it's not surprising that the confusion arises, especially since Disco also includes the concept of sets. > The set of natural numbers, denoted ℕ This is mostly how math refers to it, you can see both set and type here, the set of type natural numbers is denoted ℕ, thus "natural number" is the type and "ℕ" is the set. The type describes the rules for what is included in the set (in this case: all natural numbers), and the set is the list of all things that are included (each of the natural numbers themselves). The set of <type> is denoted <notation>