More specifically, preserve the underlying type name when analyzing type
constructors. Otherwise, correspondance with LaTeX index is lost.