Tweak definitions of free and bound variables

[nbloomf]

Expands the discussion on free and bound variables in lambda calculus and includes more examples. It's really easy to get confused by this.