Beginning of HW7

So far, the serializability stuff. Starting to work through #2.