update compile_decs_append_out for previous commit
progress on recursive case of compile_decs_thm