normalize :: Concept -> AtomicDefMap -> Concept
normalize c@(Atomic cname) atomics = fromMaybe c (Map.lookup cname atomics)
normalize :: Concept -> AtomicDefMap -> Concept
normalize c@(Atomic cname) atomics = fromMaybe c (Map.lookup cname atomics)
normalize c@(Atomic cname) atomics = fromMaybe c (Map.lookup cname atomics)