And yet your caveat at the bottom illustrates that what a beach is isn't a trivial problem. Leibniz just wanted to avoid the regressive mechanical discussion by positing substances or monads as a solution to answering the question "What's a beach?". This isn't to say he's right than to say your trivialization doesn't work and that there's room for his speculation.