qtility Agda experiment to define Probability, Preference, Gambles, Amplitude, Superpositions, Utility, and "Qtility" stuff contains the first attempt and uniform is the WIP we'll be using to more constructively define probability distributions