de Bruijn indexing + typer