MiniKanren core ext-s

Extending our substitution list, s with association: (x . v)

(define ext-s
  (lambda (x v s)
    (cons (x . v) s)))