Move ObjectClassifier and UniverseLevel out of types/
delete contrib/V.v (now it's in hit/)
also change the pointers in HoTT.v
fix pointers to moved files
Merge pull request #480 from mikeshulman/move

Move ObjectClassifier and UniverseLevel out of types/