cleaning up type inference tests
added type inference test
better error message
added type inference tests for fixed point iteration