Remove dependencies on HoTT.v

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

This closes #322.