return the parameter types of the current method.
a parameter type is the lowest common subtype of all parameter
types of the methods that composed the multi-method.
return the return type of the current method.
a return type is the lowest common subtype of all return
types of the methods that composed the multi-method.