> (srfi 273) (derive-check expression)

 > This primitive should return the check matching the expression
(implied to be a piece of code), or false, as an eval-uatable datum
(quoted symbol or list), possibly inferring the expression type.
Implementations may return false for any expression, including in all
cases. This relaxed requirement is to support implementations that never
check / infer / retain types of values.

1. Is derive-check a macro or a procedure?

2. In what environment (the second argument to `eval`) would one
evaluate the returned datum?

3. How do you expect `derive-check` would handle contextual information
if it is passed a datum, like

        (let ((x 0))
          (derive-check '(+ x 10)))

-- Peter McGoron