handle W_QED specially to prevent a crash while printing all the types
TTS: add a big type of all small types, experimentally