Some work in mapping types and instructions; working on translating basic blocks.