In order to change the type of a symbol, the tool must recognize, or infer, or be told explicitly what the original type of that symbol is.
The fixtype command is a way of explicitly telling the tool the original type of a symbol. As an aside, It is usually more effective to apply fixtype commands to function return types than to individual application variables because functions are used in type inference of many symbols.
...