Changed typechecking to check all function calls (not only member-functions)
Adding support for simple region parameters on functions
Moved effect.cpp test to the set of supported tests.