Describir: Pseudodeterministic algorithms and the structure of probabilistic time