Could this be a `Vec<bool>` (or even a `Bitv`)? This would obliviate the need for the `next_attr_id` value too: `mk_attr_id` can just record `used_attrs.len()` and then push `false`.