Cedar should produce intelligible error messages for type mismatches

This translates Objective-C type encodings into standard type name strings, which makes type-related failures during stubbing much easier to understand.

[#69669514]