more free_vars/closed stuff