It makes code more readable:
if something
if something<>0
if assigned(something)
It is obvious what type it is (boolean/number/pointer) without looking to declaration or hovering the identifier.
I just have one idea/proposal: Would it be possible to add one field to status bar of Source Editor to display the declaration of current identifier? ("current" here means the position of the caret, not the mouse pointer). Image explains it.