thoughts on bootstrap lemmas

given that we can have access to the bootstrap compiler state