Better error messages for bad free variables in Definitions.

See github issue #200.