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.
Remove unused assigns
Remove constant values in conditions and fix potential NPEs