errors: fix my added error and make a note about stability
errors: fix my added error and make a note about stability

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