fix typecons printing system & clean imports

~~Depends on #2729~~
No, `allSatisfy` is needed ignoble scope. See line 3195.
Also `std.traits` imports `std.typetuple` globally so it isn't make sense to move it inside.