x = I*a;
a /: Im[a] = 0;
a /: Re[a] = a;

とする。すると
Im[x]
Out[]:=a