Changed variance and standard deviation to prVal

Changed variance and standard deviation back to positive real, but left
the 'non-negative real' because it is useful elsewhere (e.g., on lower
truncation bound of the Gamma distribution)