see https://en.wikipedia.org/wiki/Free_variables_and_bound_variables
in predicates, a variable that is associated with a quantifier is a bound variable, otherwise it is a free variable
in the expression , is bound, isnt
should include here definitions for other contexts like functions,sums,limits,etc