[Policy compiler] Warning or error for unused variables.

[seirl]

Change
When declaring a variable in the variables block, there should be a warning if the variable is unused in the rest of the policy.

[TristonianJones]

It's a good feature for helping eliminate dead code, but I'll have to think about how to introduce it since it's not technically an error