Finished writing basic unmarshalling functions.

Turns out unsafePerformIO and a combination of fst / snd
is a lot more pleasant than the code I was writing before...

TODO: Tying together, proof construction