To what potential PEP are you referring exactly? Type arithmetic or automatically interpret `1` as `Literal[1]` wherever it makes sense?
Indeed to have a common repository with an initial document would be a good way to go. So far we did not start anything because the PEP on Variadics was still waiting for appoval. However, we also wanted to make sure that Numpy folks believe that this approach towards type arithmetic makes sense for their use cases.Maybe we could sync on this on the next Numpy Development meeting?