[3803]Fixing printing of type names for captured types with type variables.

[jlahoda]

An attempt to fix:
#3803

Printing/handling of captured type which contain type variables feels weird, this is trying to improve that, although I am not sure what (if anything) will be broken by it.

---

^Add meaningful description above

By opening a pull request you confirm that, unless explicitly stated otherwise, the changes -

• are all your own work, and you have the right to contribute them.
• are contributed solely under the terms and conditions of the Apache License 2.0 (see section 5 of the license for more information).

Please make sure (eg. git log) that all commits have a valid name and email address for you in the Author field.

If you're a first time contributor, see the Contributing guidelines for more information.

[matthiasblaesing]

If noone objects or beats me to it, I'll merge this in the next few days.

[matthiasblaesing]

If noone objects or beats me to it, I'll merge this in the next few days.