Added the Either Disjunction type