exposing physical equality to optimize type comparisons
updating readme
Merge branch 'master' of //nswamy-x1/Users/nswamy/workspace/FStar
more use of physical equality; generating vcs for polymorphic code