Updated RFC with details about the return type of the `next_match` functions