Method from Ulrich Deiters, superancillary from our new paper
And JSON I/O
See #2
Isochoric derivatives moved into their own namespace
