fix compile_top_thm, comment out compile_prog_thm

The latter seems to need some updating since some theorem statements in
conLang and possibly elsewhere have changed. Looks more involved than I
have time to do right at the moment.