Edit introductory probability material

This commit changes a few points in the introduction to borel-measurability.