misc-cmucl-type-prop.lsp 8.22 KB