[boost] Re: [boost.range] renaming empty() to is_empty()