Adding the concept of a range bit vector which says a whole range of upstream contexts in the BWT ought to belong to the same thing for mapping purposes, and some functions to map under this paradigm.