Use `stream.current_token()` and remove `stream_positions()`.