Add type hints to move functions

[Debilski]

If type hints are not on the schedule for 2021, we won’t add it for now. But having auto completion (+ API docs on hover!) is neat and probably worth considering at some point.

[lschwetlick]

are you suggesting doing it only for the demo bots? Or all over the pelita repo as well?

Personally I'm a bit concerned it decreases readability for people who haven't encountered too much typing in their programming experience.

[Debilski]

Not really all over the Pepita repo (at least not yet?), perhaps for the bot API, but primarily just for the move function, as static analysis figures it out in a lot of cases. In this situation, though, it is of course impossible for the editor to know what bot is supposed to be.
But yeah, if we’re not going to mention it at the school, it might be too confusing.