crushed coral would be good to raise the ph of soft water (low mineral content) that lacks higher buffering capabilities.Coral does provide excellent biological filtration,but in freshwater,by itself;the coral will raise the ph above 8 and continue to rise over a period of time. Unless you are using soft water from a
RO unit or distilled water,it's not a good choice.
For freshwater,I suggest just normal,everyday playsand.Washed,rinsed and put in the filter box. Mixing the sand with the coral (see above for coral buffering capabilities) you could use 1/4 coral to 3/4 sand.This mix wont raise the ph as fast,and it will leech needed minerals into the water at a slower rate,allowing the ph to reach a certain stable point (many factors,such as type of water,mineral content of original water also known as hardness,etc) There are benefits to using coral,but only if you understand water chemistry, buffers,hardness/softness and how to safely manipulate these properties for aquarium uses.
Lacking this knowledge,I wouldn't suggest using coral,as substrate,filter media or decor purposes.SO my recommendation is PLAYSAND.