reimplement compare_of_bool, bool_of_compare
reimplement compare_of_bool, bool_of_compare

following https://github.com/FStarLang/FStar/pull/2584#issuecomment-1124321822

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar