[The section on variable conventions in our style doc](https://leanprover-community.github.io/contribute/style.html#variable-conventions) should be expanded to include e.g. fields, rings, categories, etc.