Feature: SummationNotation

Summation notation has mandatory lower and upper limit blocks. Renamed from BigSymbol because not just a symbol anymore. Supersedes #256