Upgrade to core.logic 0.8.3