PERF: lazify type-check import
These imports in io.formats.format take about 1.6ms, out of a total of about 470ms and (7.8ms total for formats.format).  So its not massive, but it is easy to avoid and we are running out of lower-hanging fruit.