Checkpoint: starting to work on specifying instruction encodings so the integrated assembler can be used.