Cototal enumeration degrees and their applications to effective mathematics