First part of JSON formatting for well-known types. I think we need a reflection API rethink before doing the rest.