Update comment and docstring
Argument types may vary contravariantly in overrides

Fixes #424.
Add test cases for overloading + overriding