Distinguishing between free and and bound variables