Use isReflexiveCo when building an MCorecion
This patch just changes isReflCo
to isReflexiveCo
when we build an
MCoercion
, in mkMCo
. It turns out that this makes a gigantic
difference to test T18223 -- compiler allocation drops by 75%.
I also changed the name from coToMCo
to mkMCo
, which is more
consistent with how we name smart constructors.