Merge branch 'master' of github.com:HoTT/HoTT
Use "instantiate" in Record.v instead of a NOOP match
a couple of comments
Use == notation in FunextVarieties
Merge branch 'master' of github.com:HoTT/HoTT
Merge pull request #68 from mikeshulman/master

a few small things