A signature module is extended to a type signature after all the information from the different modules have been gathered.
there is no need to preserve the classification of nodes and only the underlying PSS is of interest.