Added reduceLeftOption to EquaSet.