Defines `Tensor`, an array of numbers or booleans, along with a number of functions operating on
`Tensor`s. `Tensor` operations typically leverage hardware acceleration and graph compilation.
spidr tracks tensor shape and data type in the types, so you can be sure that if your tensor
code compiles, these are consistent.