begin implementing symbol scoping visitor
roughly implement variable scoping visotor