repair unifbits indexing
repair unifbits indexing

gives shorter candidate list on coq.elpi, strictly better than 2map,
but is more expensive and in the simple tests here gives no advantage.

LPCIC/elpi