Generalised states : a multi-sorted algebraic approach to probability