the second hurdle: adjusting Namer.typeSig to incrementally build a CIT