Local keyword semantics

1. Semantic implementation of local variables
2. Testcases for local
Yes, exactly that's what I was suggesting above as well. We need to do this for all cases