pub fn map_name_translator( expr: HashMap<ExprID, ExprID>, name: HashMap<u64, u64>, ) -> NameTranslator<impl Fn(ExprID) -> Option<ExprID>, impl Fn(u64) -> Option<u64>>