Human-friendly names in JSON serialization and parsing.