adding a Wysteria example .... millionaires
Merge branch 'master' of https://github.com/FStarLang/FStar
checkpoint
working state with bootstrap and better typing of abstractions via uncurrying/re-currying
before enabling alpha-conversion; bootstrapping still works
removed redundant instantiation field from bound variables
systematically alpha-converting in both normalization and in substitutions to avoid capture; bootstrap works but unification is now rather brittle
reconciling small changes with master
testing pattern matching in the state monad ... millionaires.fst; resolution of predicate variables still a bit broken