じゃあ、valuesをファーストクラスにすべく、インタフェースを考えてみる

;多値の束縛
(define x (values 4 5)) => x
x => #<values 4 5>

;多値の判定
(values? x) => #t

;普通の評価
(+ x 1) => (+ 4 1) => 5

;多値の抽出
(call-with-values x (lambda (x y) y)) => 5

こんなんでいい？