> Discoverability is a function of colocation, not of immutability

That's one way to do it, tying discoverability to coding convention (which is usually how collocation is enforced), as opposed to being an inherent property of the code.