CIF type checker should warn for convoluted references, for types of component parameters

This is currently missing, as identified in #855.