gishobora kubangamira ubuzima bw'impunzi epigram's type system is strong enough to express program specifications umugore wambaye ishati yubururu arimo kureba impfizi y'intama