typecons printing system update & clean imports

~~Depends on #2729~~
This is a change in behavior (type instead of field name).