Rename expression evaluator spec
Introduce notion of effects as possible results of evaluiating statements
Implement statement evaluation
Add a bunch of simple tests for statement evaluator