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).