Their union type syntax looks like Ceylon's. I rather like it.

Union types with pattern matching would be the logical step, would it not? I wish for something like:

    match getResults() {
      case e: Error: ...
      case r: Results: ...
    }