u-deftype.etypecase.lisp 80 Bytes