Continuing on the LISP-ish way of defining things, why not allow arbitrary constraints via a code block, not just an ISA type? If argument is a string, checks ISA. If code block, uses it as a checking predicate.

—John