Revert a bunch of changes related to constants representability.
Changed the way type resolution works in conversions.
Fix a broken test.
Fixed two broken intentions.
Fixed some basic test cases in error intention
Rebuilt the CheckErrorIntention
Fixed all the convert statement to if intentions
Mark two tests as failing.