Rewrite InstCombine and Arithmetic substitution patterns

[XVilka]

• [ ] Arithmetic patterns:

  • https://github.com/radareorg/radeco-lib/blob/master/analysis/patterns
  • https://github.com/radareorg/radeco-lib/blob/master/src/analysis/arithmetic.rs

• [ ] InstCombine patterns:

  • https://github.com/radareorg/radeco-lib/blob/master/src/analysis/inst_combine/combine_rules.rs

Idea is to rewrite them into the runtime-loaded DSL. One of the possible candidates is Prolog (or Datalog). The another possible candidate is LISP/Scheme (most likely subset of them).