Enable remaining failing tests
Merge pull request #851 from dlsniper/other-tests

Enable remaining failing tests
Updated the return inspection

Fix #989.
But broke others.
Fixed one constant computation test
Fix failing test
Some cleanups and small refactorings with the type system.
Fixed a couple of conversions tests.