adding some tests for term API

[winitzki]

Add API to obtain generated terms symbolically.

[codecov]

Codecov Report

Merging #12 into master will increase coverage by 1.29%.
The diff coverage is 91.44%.

@@            Coverage Diff             @@
##           master      #12      +/-   ##
==========================================
+ Coverage   91.65%   92.94%   +1.29%     
==========================================
  Files           6        7       +1     
  Lines         539      539              
  Branches       36       40       +4     
==========================================
+ Hits          494      501       +7     
+ Misses         45       38       -7

Impacted Files	Coverage Δ
src/main/scala/io/chymyst/ch/Macros.scala	100% <100%> (ø)	⬆️
src/main/scala/io/chymyst/ch/Sequent.scala	100% <100%> (ø)	⬆️
src/main/scala/io/chymyst/ch/Monoid.scala	100% <100%> (ø)
src/main/scala/io/chymyst/ch/TheoremProver.scala	96.92% <100%> (+15.1%)	⬆️
src/main/scala/io/chymyst/ch/TypeExpr.scala	78.57% <53.33%> (-7.54%)	⬇️
src/main/scala/io/chymyst/ch/TermExpr.scala	88.98% <92.15%> (-0.64%)	⬇️
src/main/scala/io/chymyst/ch/LJT.scala	98.63% <97.5%> (+0.68%)	⬆️

---

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 216c60d...9292e62. Read the comment docs.