fix bootstrap lemmas for changes to exhLang