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

This looks very nice. 

Set Typeclasses Strict Resolution, close  #479
Merge pull request #519 from marcbezem/master

Exercises 3.6 and 3.7
move funext_from_interval to IntervalImpliesFunext, not exported by HoTT
Merge pull request #523 from mikeshulman/interval

move funext_from_interval to IntervalImpliesFunext, not exported by HoTT