(defmethod fetch-tal-value (name (binding-set list)) (let ((cons (assoc name binding-set :test #'eql))) (if cons (values (cdr cons) t) (values nil nil))))