Update comment and docstring
Argument types may vary contravariantly in overrides

Fixes #424.
Add test cases for overloading + overriding
Resolve merge conflict
Update g = f test case in testSubtypingFunctionTypes
Remove some merge artefacts
Remove remaining merge artifacts
Update g = h test case this time