a few thoughts on compile_top_thm

trying to sort through all the layers of invariants to find the right
things...