Introduce the idea of interpreting bytes, and underlying byte representations

[illicitonion]

2's complement, and the idea that we can re-interpret bytes from one data-type to another, have come up a few times, and we don't cover them very well. Maybe we should?