Function printTypeDeep

Print a type deeply, expanding everything that's reasonable to expand.

Note: this function is entirely vibe coded.