typecons printing system update & clean imports

~~Depends on #2729~~
Oh, sorry, yes.