Evaluate finite sums in sigma notation (#438)