Working on a design doc for pattern matching of datashape function prototypes
Add a section on how factoring sets of signatures can help performance
Merge pull request #25 from mwiebe/pattern_matching

Working on a design doc for pattern matching of datashape function proto
Minor fix to pattern_matching.rst
Beginning of type equation solver for pattern matching coercions
Remove the normalization and unification tests

They're failing because of fixing the __eq__ behavior
of Ellipsis
Fixes for the explode_coercion_eqn tests
Remove print statements
PEP8 fixes
Tweak imports to be from specific submodule
Adjust equation structure to directly match the matching 'dst'
Finish the broadcasting/coercion type equation solver