This adds a bunch more types, though as a result we get more errors. I think some of the errors are fixable, though I'm not sure we can actually get to a point of having a clean type-check with some of the current structures. If things need changing, I'll probably do that in separate branches.
Depends on:
78: Reworking the sockets in robot.robot.Robot (not necessarily that PR specifically, but we need to do something and we know we want to tidy them up at some point)
This adds a bunch more types, though as a result we get more errors. I think some of the errors are fixable, though I'm not sure we can actually get to a point of having a clean type-check with some of the current structures. If things need changing, I'll probably do that in separate branches.
Depends on:
78: Reworking the sockets in
robot.robot.Robot(not necessarily that PR specifically, but we need to do something and we know we want to tidy them up at some point)BoardList)~