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