General Subobjectclassifier
Removing the special case [hProp].
Cleaning up previous commit.
Merge branch 'master' of github.com:HoTT/HoTT
Removing BiInvPair
Merge branch 'master' of github.com:HoTT/HoTT
Merge pull request #495 from mikeshulman/master

trivial changes from @spitters
Merge pull request #487 from spitters/master

General Subobjectclassifier