Check expression statement first
Check variable visibility at compile time
Factor out parsing function
Implement display closure (read only) #2