Add models for several instructions.

Basic slicing works!