Intensity mapping cross-correlations II: HI halo models including shot noise. Issue 1 (22nd November 2018)