[Python-ideas] JSON encoding protocol with __json__ dunder method