free and bound variables