Hallo Uli,
aus Deiner ersten Info war für mich persönlich nicht klar erkenntlich, dass Du die Teichränder mit "Wänden" meintest. Das wird auf alle Fälle ein großes Projekt, aber wenn ich mir Die jetzige Form des Teiches betrachte ist es auch eine gute Entscheidung.
An Deiner Stelle würde ich aber das sehr spitze und scharfkantige Lochgestein nicht unter Wasser legen, denn wenn sich mal ein Koi daran scheuert, dann wird dieser sich daran ordentlich verletzen.
Weiterhin wird das Lochgestein Deine Wasserparameter stark verändern. Dein Lochgestein nennt man auch Kalkgestein und Du wirst bestimmt eine sehr hohe Gesamthärte, einen alkalischen PH Wert und vielleicht auch noch Kalkausfällungen bekommen.
Viele Grüße
Thomas