basic valdef and assign evaluation

- implement basic env extending with local vars
- update ctfe test: working basic one, add simple assignment and scoping test