Added type aliases for Choice1Of2 and Choice2Of2.