removing the problematic `lextop` axiom; thanks to Son Ho for pointing out its unsoundness
removing the problematic `lextop` axiom; thanks to Son Ho for pointing out its unsoundness

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar