def eql0?(other) #:nodoc:
      @ancestors.find{|a|
        a.__overload_methods.find{|m| 
          m.name == other.name && m.types == other.types 
        }
      }
    end
def eql0?(other) #:nodoc:
      @ancestors.find{|a|
        a.__overload_methods.find{|m| 
          m.name == other.name && m.types == other.types 
        }
      }
    end
+name+ (Symbol) : name for method
 +types+ (Array) : array with types, for method arguments
 +body+ (Proc)   : block called with method