Add types/Sum

This closes #127.

This makes (at least) partial progress on #53.