travis.yml update
Update type variable equality
Some utility additions
Implement coercion costs and rules
Some more normalization stuff
Some work on overloading functions