DString is a stricter string API for Lean 4.
Its Pos and Substring types depend on the string they are from,
and guarantee that they’re always valid for that string.
borc is a Rust implementation of CBOR, the Concise Binary Object Representation, as defined in RFC 8949. I’m not especially interested in Rust anymore, so it’s not currently active.