update compile_top_thm for printing

(still cheating on module cases of it though - need theorem about
compile_decs first)