Moving the TacAlias node out of atomic tactics.