merging with stash
merging again
delayed substs enabled; improves compile times by 6-10x
Merge branch 'master' of https://github.com/nikswamy/FStar
tweak