Roy Smith wrote:

There's also no such thing as an "IFR procedure". There are "instrument
procedures".

Where did you get that idea? I think the terms are interchangeable.

Remember the old IFR Departure Procedures that are now Obstacle
Departure Procedures? Those terms were both chosen by working groups
thinking more in terms of human factors than regulatory nuance.

Then, there is Part 95, IFR Altitudes.