Small change in the rules regarding nested environments

This is silly, because I just realized that we can also have the enumerate
environment inside a lemma. etc. But I guess this is correct with regards to
the Stacks project specific enviroments