Change all the gravel out for sand. If mixed, the sand will simply settle on the bottom and the coral will be on the top anyway.
Crushed coral is a notorius nitrate producer. "Expensive fish" will enjoy it better.
"Life may not be the party we hoped for but while we are here we might as well dance!"