Abstract class for sites with a partial and immediate semantics: evaluate as for a total
immediate site (see EvalSite), but if the evaluation returns null, the site remains silent.
A Value which depends on some set of potentially unbound variables, which
therefore cannot be used in argument position until those variables become
bound (because it might leak them).