I'm not entirely sure I buy the arguments that "made-up words" are a bad thing. All words were made up at some point. And the English language on the surface seems extremely redundant in its vocabulary, but each element of a cluster of words can contain separate nuance, so we keep them around. Perhaps this doesn't have a place in computing, but perhaps it does. Consider, for example, the most jargon-y field of mathem…
Proofs = Some Types and Type Theories = Some Categories, so I think even taken as an attempt to paint the situation in broad strokes what you wrote is at best misleading. Many (commonly studied) categories and classes thereof are not interpretable as type theories, and type theories contain plenty of terms that would not be typically interpreted as proofs.
Also, even in category theory, papers and books take quite a bit of care to be clear when they introduce a new term. Urbit's documentation looks like it took every conceivable opportunity to invent new words for things where we already have words. The complaint is not about made-up words per se, but scores of unnecessary made-up words. It's like they expect to trademark the name of every little internal concept inside Urbit.