Make FStar.Integers.nat and Prims.nat convertible without SMT
Make FStar.Integers.nat and Prims.nat convertible without SMT

FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar