Uh, nope. Your language needs to be able to define these types. So they belong into the stdlib because they are useful, not because they are special. You might

Uh, nope. Your language needs to be able to define these types. So they belong into the stdlib because they are useful, not because they are special. You might add syntactic sugar on top, but you don't want these kinds of things in your fundamental language definition.