Feature/simplify conjunctions

[winitzki]

• more aggressively simplify conjunctions, e.g. User(name, ident).ident is simplified to ident and (a._1, a._2) is simplified to a.
• provide a comprehensive high-level API for manipulating lambda-terms

[codecov]

Codecov Report

Merging #16 into master will increase coverage by 1.07%.
The diff coverage is 95.65%.

@@            Coverage Diff             @@
##           master      #16      +/-   ##
==========================================
+ Coverage   93.11%   94.19%   +1.07%     
==========================================
  Files           8        8              
  Lines         552      603      +51     
  Branches       43       60      +17     
==========================================
+ Hits          514      568      +54     
+ Misses         38       35       -3

Impacted Files	Coverage Δ
src/main/scala/io/chymyst/ch/Sequent.scala	100% <100%> (ø)	⬆️
src/main/scala/io/chymyst/ch/TermExpr.scala	92.74% <100%> (+1.72%)	⬆️
src/main/scala/io/chymyst/ch/LJT.scala	98.63% <75%> (ø)	⬆️
src/main/scala/io/chymyst/ch/TypeExpr.scala	90.76% <96%> (+7.43%)	⬆️

---

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 13b9a45...5b2238d. Read the comment docs.