Related to #49, add a test and fix up parameter type and quantity
conformance checks (the previous version did not work if the redefined
method has zero parameters).