Better type annotations for `each_record()`

[multimeric]

This might be tricky, since each overload depends on the instance variables, so @overload can't be used here. This may require a small API restructure.