Don't abort on representation polymorphism check

This is reverting a change introduced in linear types commit 40fa237e.
Previously, we had to abort early, but thanks to later changes,
this is no longer needed.

There's no test, but the behavior should be better.
The plan is to remove levity polymorphism checking in the desugarer anyway.