u-deftype.typecase.lisp 65 Bytes