Writing your own type system in a Lisp is an afternoon task, but nobody does that because...