Adding support for typechecking C++ Member function calls.