Remove dependencies on HoTT.v

Also include more things in HoTT.v and fix up some other dependencies.

This closes #322.
Merge pull request #333 from JasonGross/fix-hott-deps

Remove dependencies on HoTT.v