with free intervals (instead of fixed free headers) we need to check `improved_by` from extension code

make FreeHeadersRemaining an Option => we know that when we are outside of tx body, it is `None` and otherwise it is `Some`