Thank you very much for your detailed reply. I've got a much better idea of what I'm doing now!
I've gone back to Amazon and have looked for some grit. I've found this one which says it's aquarium gravel. Will it be OK to mix into my succulent soil mix? And also to maybe put some as a top layer on top of the soil, as I've seen on a YouTube repotting video today?