u-deftype.satisfies.lisp 105 Bytes