First attempt at views for hprops, and automatic equalities for delta through normalization
First attempt at views for hprops, and automatic equalities for delta through normalization

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar