Delete typedef.json