Json

I've rewritten JSON deserialization in a functional/declarative style, hopefully this'll be satisfactory.