You could take [tex]\left|\Psi_{E,{\bf k}}({\bf r})\right|^2[/tex] as some kind of measure of the electron density (k-point resolved), but as you point out the real charge density is the weighted average over k-points and occupancy. However, I'm not sure why you distinguish between the charge density and the electron density, which ATK will give you?