Magic type type

[adespawn]

As Wojciech correctly asked:
❓ What is @type {type} ???
There is a magic type type in the code (the type returned from convertComplexType function. This is a problem in mutiple places in the code, including open PRs.

We should fix this magic type.

Originally posted by @wprzytula in #407 (comment)