Oh, this is cool. I’ve periodically thought about implementing a type system on top of the regular lisp layer, but I’ve never gotten excited enough to do so. :)