typing: core algorithm and its imports

[boombard]

Issue #665

mypy now passes when run on core.algorithm. I tried to avoid changing anything substantial. The tests are passing to the same extent as in main.

Because I was avoiding changing anything too much, there are a lot of ignore statements (there's only so much one can do with annotations).