Instance function parameter types should propagate to descendants in type hierarchy

[lostmsu]

The rationale is similar to the rationale for return types in #11 and #115.

If A: B and on an variable b of type B we call b.foo(42), that means, that A.foo must also be able to accept int, because b can actually hold a value of type A.

Also related to: #131, #185