trait One
trait Two
interface Three
interface Four

type UnionTraits is (One | Two)
type IntersectTraits is (One & Two)
type UnionTraitAndInterface is (One | Three)
type IntersectTraitAndInterface is (Two & Four)

actor Main
  new create(env:Env) =>
                   object is UnionTraits end // Assert
               object is IntersectTraits end // Assert
        object is UnionTraitAndInterface end // OK
    object is IntersectTraitAndInterface end // Assert