[run-types]

Here is a very useful generic type alias:

    type Maybe<T> = Some<T> | Error

Not sure why you'd want to disallow that.

[brundolf]

Right, but I plan on including really fundamental stuff like this at the language level (I don't know for sure that it will look exactly like this, but there will be a story for this situation built-in)