introduce types for Json formats