add name maps from coq name id to name string as requested by Pierre