Typing produces correct Typedtree expressions again.
New pretty-printer for IL.