Set Typeclasses Strict Resolution
Merge pull request #520 from mikeshulman/settsr

This looks very nice. 

Set Typeclasses Strict Resolution, close  #479