Good progress on checking instances of traits. Getting weird type unifications though.
starting work on virtual machine in rust
refactoring type checker, more work on rust vm