More de Bruijn index fun

We really need to address this sort of problem systematically, somehow.
Working on truncations and ||bool|| = interval.