I will put into ToDo list for the next version.
It is quite complex having such a feature all over all possible places where a type can be indicated.
I will start from DIM/LOCAL/GLOBAL