Update stubs to record positional only parameters where relevant

[microbit-matt-hillsdon]

This may not be possible with Pyright (given that we specify an older Python version than 3.8) and the clutter in the signatures may not be worth it. One for discussion.

https://peps.python.org/pep-0570/