Hallo,
ein paar schöne Vorschläge hast du ja schon. Waldsteinie kannst du auch gut an die Ränder pflanzen, ist sogar immergrün.
Pfennigkraut reinwuchern lassen, Wasseriris ins Wasser,vielleicht auch Nadelsimse? Die wuchert zwar, wird aber nicht so hoch und ich mag sie, bei mir wächst auch der Frauenmantel sehr gut am Teichrand.