interpreter memory, primitives, value handling, if, while, tests

pull request accumulating work on:

- interpreter memory model: immutable stack\heap, value handling, scopes
- evaluation of primitives' methods such as Int.+, most of them yet to be implemented, but sketch is done
- evaluation of while and if expressions
- tests for functionality mentioned above