perhaps adding this flag in an exception-handler for this case would be ok, as the first kind of ambiguity should not be possible as all parameter types are passed. Otherwise, one would need to either add the return-type somehow or write a specialized Binder-subclass.
Come to think of it, both those properties could be inherited, so the advice in GetProperty doesn't actually help.