Move ObjectClassifier and UniverseLevel out of types/
delete contrib/V.v (now it's in hit/)
also change the pointers in HoTT.v
remove notation `!`; use `const (center _)` or `const tt`
fix pointers to moved files
Merge pull request #482 from mikeshulman/const

remove notation `!`; use `const (center _)` or `const tt`
Merge pull request #480 from mikeshulman/move

Move ObjectClassifier and UniverseLevel out of types/
./autogen.sh