Currently, we make sure that objects have globally unique labels per languages.

This leads to unnecessary long and specific labels for tests and implementation. Tests and implementations are basically never shown outside of the context of the functions page, and therefore only need labels useful in this context. These can frequently and with good reason be the same on different functions (e.g. integer addition and natural number addition both might want to have a test called "1+1=2").

We should drop the requirement that labels for tests and implementations are globally unique per language.

I was thinking whether we should keep a requirement that they should be unique per language and per function, but I think that the work to ensure that is not justified by the gain.