Some prop tests. Introducing types for Probability, Evidence, Fact, Sure.