Json serialization typeclass for PUnit & Fin n & Subtype p

instance Lean.instFromJsonPUnit : Lean.FromJson PUnit

instance Lean.instToJsonPUnit : Lean.ToJson PUnit

instance Lean.instFromJsonFin {n : Nat} : Lean.FromJson (Fin n)

instance Lean.instToJsonFin {n : Nat} : Lean.ToJson (Fin n)

instance Lean.instFromJsonSubtype {α : Type u} [Lean.FromJson α] (p : α → Prop) [DecidablePred p] : Lean.FromJson (Subtype p)

instance Lean.instToJsonSubtype {α : Type u} [Lean.ToJson α] (p : α → Prop) : Lean.ToJson (Subtype p)