Fix g_coqast for explicit applications.