Fix some type annotations.
Fix some type annotations.

I probably want to use Iterable everwhere I'm using Sequence.  It turns out,
Sequence implies random access through an integer index.  Not really in the
conntations of "sequence," but naming is hard.

martincmartin/MathematiciansAssistant