Name Mangling & its representation of D types

[NonNull via Digitalmars-d-learn]

I'd like to understand how any D type is represented as a string 
by the name mangling done by the compilers.

Does this always have the desirable property that different types 
have different mangled names, so that a type is faithfully 
represented by its mangled string incorporated into a symbol name 
in an object file?

What is that representation of a type as a string, and how does 
it work for recursive types like a struct containing a pointer to 
a struct of the same type?

Please explain.