Introduced choose-operator backed high-level plans