Basic data types for propositions.