Feature/more simplification

[winitzki]

• Simplify nested match expressions
• Generate variables for disjunction checking
• Better symbolic checking of function equality
• Utilities to verify naturality, fmap, and monad laws

[codecov]

Codecov Report

Merging #30 into master will increase coverage by 0.29%.
The diff coverage is 77.27%.

@@            Coverage Diff             @@
##           master      #30      +/-   ##
==========================================
+ Coverage   91.14%   91.44%   +0.29%     
==========================================
  Files          10       10              
  Lines         723      736      +13     
  Branches       61       66       +5     
==========================================
+ Hits          659      673      +14     
+ Misses         64       63       -1     

Impacted Files	Coverage Δ
src/main/scala/io/chymyst/ch/TermExpr.scala	90.56% <73.68%> (-0.91%)	⬇️
src/main/scala/io/chymyst/ch/TheoremProver.scala	91.04% <100.00%> (+7.46%)	⬆️
...scala/io/chymyst/ch/data/SymbolicLawChecking.scala	100.00% <100.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f1262bc...d88c36d. Read the comment docs.