[slime-devel] slime-property-bounds