progress on bootstrap_lemmas, now using compile_special