Beginning of a BoundName.t type with depth level, distinct from PathName.t