Add type traversal and transformation module
Add datashape normalization module
Some more broadcasting and ellipsis unification tests
Add some logging
Prototype for determining the best match for overloading