Did some work to try and get around case resolution bug,
but unsuccessful.

Some half-baked ideas on how to resolve...
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
Merge pull request #1 from SimonJF/clusterfuck

Found (slightly) more sane ways of doing things...