Arithmetic on Random Variables: Squeezing the Envelopes with New Joint Distribution Constraints