replace slimv with slime + paredit