Add first, firstSh primitives
Add shapeSh primitive
Add type case rules for single-element vectors
ViT type should map to (single-element) int vector