ADDEDL json_write/3: option serialize_unknown(+Boolean)