Type Checking Instructions
Instruction sequences in heap have declared register states for their entry points
Type checker assumes these register states when checking sequence
Type checker checks these register states are satisfied on control transfer
Type rules relate the before and after register states of instructions:
l=code ?1. i1 ?2 i2 ?3 … ?n in