Widening reporting contracts and types to include all candidate data types in order of plausibility