Make new types for byte-counts vs element-counts

[seanmcl]

We currently use Nat for both the number of bytes to move around and the number of elements of an array to advance. The element version is just the byte size divided by the dtype size, but it's easy to combine these Nats. Let's keep them apart with types.