- Type analysis working on benchmarks
- Fixed bug wrt regalloc/GC
- Added typeWritten flag to regalloc state, code slightly smaller