Added prod, HasEqLen and ElemSum