The following is a link to an article talking about Predicate Dispatching in CLOS. I think this may solve the problem I have been speaking about - dispatching based on number and types of arguments. Thought I'd share the idea:

http://people.csail.mit.edu/jrb/Projects/ucko-thesis.pdf

Would love to hear some opinions.

Thanks.

Blake