I would postpone finalizing any general generic method approach until after it has become clear what macro facilities R7RS-large will provide.

For example, with SRFI 213 identifier properties, I can attach arbitrary compile-time information to identifiers that may help in fast method resolution.