Improved typings for probabilistic noninterference in a multi-threaded language