closure operators are monads on preorder categories ntimukore kukintu cyose gihumanya later years introduced optional coloring ijwi rya yehova riri hejuru