propose refinements for overloaded inherited members