Add types/Sum

This closes #127.

This makes (at least) partial progress on #53.
Merge pull request #150 from JasonGross/types-sum

Add types/Sum