Implement Display using proxy Types

[IBims1NicerTobi]

There are some types in the compiler that cannot implement Display directly since they contain for example an id that references an external datastructure. These should implement a fn (&self, external: T) -> impl Display function to make them printable without allocating an extra String every time.