Making rmTypeSig work with multiple names, where required. WIP