add ordering heuristics for conjunctions and disjunctions

[winitzki]

• heuristics for conjunctions and disjunctions
• additional tests
• bug fixes

[codecov]

Codecov Report

Merging #9 into master will decrease coverage by 0.55%.
The diff coverage is 95.18%.

@@            Coverage Diff             @@
##           master       #9      +/-   ##
==========================================
- Coverage   95.13%   94.57%   -0.56%     
==========================================
  Files           6        6              
  Lines         473      535      +62     
  Branches       32       31       -1     
==========================================
+ Hits          450      506      +56     
- Misses         23       29       +6

Impacted Files	Coverage Δ
src/main/scala/io/chymyst/ch/Macros.scala	100% <ø> (ø)	⬆️
src/main/scala/io/chymyst/ch/TheoremProver.scala	96.96% <100%> (-0.18%)	⬇️
src/main/scala/io/chymyst/ch/LJT.scala	97.94% <100%> (ø)	⬆️
src/main/scala/io/chymyst/ch/TermExpr.scala	91.66% <94.11%> (-0.29%)	⬇️

---

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 4eaf62c...85dd201. Read the comment docs.