fixed order of bindings in a uvar; missing alpha conversion inside effect args
Merge branch 'master' of https://github.com/FStarLang/FStar
tweaked platform names for bootstrapping---top-level names are unique; moved mbqi to a set-option