Module charon_lib::ast::names_utils

Defines some utilities for crate::names

For now, we have one function per object kind (type, trait, function, module): many of them could be factorized (will do).