- [x] Create `ConeType` attribute for specifying locality. - [ ] Create `ConeType` attribute for specifying uniqueness. - [ ] Create checker for locality. - [ ] Create flow object for uniqueness tracking based on `UniquenessTrie`. - [ ] Create analyzer for uniqueness tracking moved values. - [ ] Create checker for uniqueness.