pub type UsageMap = Vec<usize>;
Result of linearity checking: a map from de Bruijn level → usage count.
pub struct UsageMap { /* private fields */ }