Better implementation of clafer moo sums.