Function project_key 

pub fn project_key(k: &CoordKey, keep: &[u32]) -> CoordKey

Project a coord key down to a subset of category ids (join key / broadcast). Exactly the pairs whose category is kept, in order (proven in improv_verified::keys::project).