Union types

Typedefs (or typealiases, as we call them) are on the roadmap to be added after 1.0.

How exactly is this union type different from an enum? Note that enums also allow you to omit the ‘else’ clause if you use them in a ‘when’ statement.