added ToJSON and FromJSON instances for [[Char]]