Detect free variables in expressions

[divarvel]

Currently, free variables (ie variables that are not bound: not mentioned in any predicate of the body) are detected at parse time in the rules's head.

Free variables are not detected in expressions. Currently, all expressions are evaluated strictly, so a free variable in an expression always results in an error upon rule evaluation. Even with lazy evaluation for booleans, free variables don't make sense.