rmTypeSig returns the removed type signature for further use.