Improve CIF type checker error messages for definition parameter vs instantiation argument mismatch

From !670 (comment 1241347):

Probably unrelated. It says 'parameter mismatch' but shouldn't is be something like 'type mismatch'?