Not sure I read this correctly (and I know nothing about LISP), but this seems to support multiple dispatch (ie method selection based on the types of all function arguments)?