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
make Trunc not depend on types/*
move basic files to Basics/*
fix pointer to Overture in configure.ac
remove no-longer-necessary Scheme hackery in Overture
appcontext is deprecated, use context instead; close #497
Merge pull request #499 from mikeshulman/appcontext

appcontext is deprecated, use context instead; close #497
Merge pull request #498 from mikeshulman/schemes

remove no-longer-necessary Scheme hackery in Overture
Bind various scopes to their corresponding types

This gives better automatic scope resolution.
Merge pull request #490 from JasonGross/bind-scopes

Bind various scopes to their corresponding types
trunc_iff_isequiv_truncation via modalities
trying to use identity coercions