Strip some spaces to minimize next commit
Do some hackery to HoTT_Foundations to allow lemmas to be applied as-is
Remove hackery with better code
Merge pull request #2 from JasonGross/rc-small-change

Fix typeclass problems so that most of precategories compile, without too many changes