Add some example reduction type signatures that result from sum calls
Expand on the type signature matching for reduction