A Second-Quantised Shannon Theory