writes
DistinctTypeAliasJson
ValueClassJson