Change names of two value names that were way too long
Add printed output to the Result of evaluation

- This is not fully correct right now because of some theoretical problems with the instrumentation approach
- Changed the result class to accomodate the new API
- Add failing test cases related to mutability
- (of course) Add relevant tests for functionality