Make base indexers generic, with the result of index() as their type parameter.

So the type of results can be statically checked, instead of needing to assert it to please mypy.

Depends on !257 (closed).

---

Migrated from D4159 (view on Phabricator)