Added ArrowChoice operators