cleanup: eliminates unnecessary `ann_check_temp` variables when possible (current compiler: 10+K such variables; after this patch: ~560 variables) and eliminates `anf_tail_app` variables (since compilation of tail apps properly takes care of their own annotations; saves 3300 such variables)