added README for lib
Added EvalTrace object for tracking evaluation.
Major overhaul of codebase:

- simplified language and streamlined inheritance
- improved implementation of both language and runtime
- updates to libraries, particularly virt
- updated examples to new syntax