Separate Abstract and Concrete
I would wish to draw the distinction between abstract and concrete ontology, the former being a part of logic and the latter of metaphysics.
Important philosophical problems remain (to this day) in both areas, of which those in abstract ontology are the more difficult both philosophically and technically.
I should not now feel it important to worry about compatibility with ordinary discourse.
If I wrote an essay on this topic tommorrow I should mention ordinary language, if at all, only to explain why it does not feature in the discussion.