First draft of elwise reduction design doc
Add some example reduction type signatures that result from sum calls
Expand on the type signature matching for reduction
Fix typo, add list of links to top of execution document
Merge pull request #136 from mwiebe/reduce-design

reduce design/test document