ToJSON instances for settings