Make sure unbound variables are detected

[divarvel]

Every variable that appears in expressions should be introduced by a predicate.

I'm not 100% sure the implementation explicitly checks it before evaluation. This is not a big issue because unbound variables will cause evaluation to fail anyway, but it should be caught early.