the second hurdle: adjusting Namer.typeSig to incrementally build CITs