Decoding to semantics rules now works. Now all we need to do is sort out the memory model and actually integrate with the x86 semantics