subtypep-rational.lsp 4.22 KB