fix typecons printing system & clean imports

~~Depends on #2729~~
Would it be possible to move this inside the definition of `Tuple`?