aber was den Titel "Miterlöserin" (Co-Redemptrix) betrifft, so ist dieser durchaus traditionell (wird so in der Tradition durchaus verwendet) und kommt Maria auch wirklich zu.
Ich glaube, sogar Pius XII verwendet diesen Titel in einem Schreiben, allerdings muß ich da erst mochmal nachschauen.

Es gibt diesen Titel - der übrigends Corredemptrix heißt - nicht in der Kirchenlehre. Niemand muss ihn verwenden und Kardinal Ratzinger rät sogar davon ab, weil er Mariens Rolle schon in den bisherigen Texten des II. Vaticanums umfangreich beschrieben sieht. Alles Wesentliche dazu existiert bereits, ein Dogma ist nicht nötig.

Dieser Titel wurde nur sehr sehr selten frömmelnd überschwänglich in nicht besonders glaubensrelevanten Ansprachen etc. verwendet. Pius XII. machte meines Wissens nach einen großen Bogen um diesen Titel.
Ob der Titel Maria wirklich zukommt, hängt an einer peinlich genauen theologischen Aufklärung des Begriffes. Ohne doppelten Boden.

Als Dogma würde der Titel Verwirrung noch und nöcher stiften.

Zudem sind alle bisherigen Mariendogmen auf Jesus Christus zentriert. Ein Dogma der Miterlöserin wäre nicht christuszentriert. Auch nicht dann, wenn man sich das hinbiegt.