work on compile_decs_wrap_thm

three moderate cheats remain