Use isReflexiveCo when building an MCo
In other work I found that checking for reflexivity (using
isReflexiveCo rather than
isReflCo) when building an MCoercion had an astonishing impact on T18223. Compile time allocation reduced by a factor of four!
This tickets is to check whether it's a good idea generally.