Now representational AppTys are just IrredEvCans, as they should be.

Test case: typecheck/should_compile/T10494