pub fn debug_bound_var<T: Write>(
    fmt: &mut T,
    debruijn: DebruijnIndex,
    var: BoundVar
) -> Result<(), Error>