improving riemann target after "measure" refactor
refactored type Rule -> rule, module Rules -> Rule