[BitcodeReader] Diagnose type mismatches with aliases