epigram's type system is strong enough to express program specifications ukigera muri iyi pariki ubanza gusobanurirwa uyu mutwe utubwira inkuru ya yozefu na yakobo