(a) account for optional range arguments in bind, and (b) check that default effect only has one argument
(a) account for optional range arguments in bind, and (b) check that default effect only has one argument

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar