Named deBruijn variables

[ice1000]

Right now there's only unnamed dbi:

narc-rs/src/syntax/core/subst/dbi.rs

Line 14 in 6fcbca2

fn from_dbi(dbi: DBI) -> Self;