Generically generate correct implicit reads and writes for GADT subtypes

[stewSquared]

Default reads and writes don't check type field. This'll work because JsonFormat[T] is invariant. I have ideas, ping me later.

cc @ArtRand