Implement free variable reference
Support assignment for free variable