Reword error message

Now it's more consistent with Python.
Rename method
Fix test cases
Support module attribute __file__
Fix module objects
Implement type checking chained assignments
Add type checker test cases
Add type inference test case
Remove obsolete code