Apply constructor monomorphisation in preference to variable splits

Note that we might need to do both in future.
Also report more information when constructor refinement fails.

0 files changed, 0 insertions, 0 deletions