add note about constraints and kanren to response, related work