new macro carries out all four definitions at once rename all groupthm_new_theorem_group... macros into groupthm_new_group...