Removed Funext.v and placed it in Overture.v instead
Implicit coercions for HProp and HSet
More progress in HProp.