For realization, code extraction, metas-in-sessions, etc, we need
absolute names for identifiers. To that purpose it is better to
have and store the qualified path to every ident.