Add overload declarations for `ResultList.__getitem__`

[PeterJCLaw]

This clarifies that slicing a ResultList returns a List[Marker].

While that may not quite be what we actually want, changing it is out of scope for now.