Miscellaneous improvements

[winitzki]

• overcome the jvm bytecode limit when emitting many lambda-terms
• fix bug with recognizing Function10[...] in macro
• reinstate lambda-terms output when using implement

[codecov]

Codecov Report

Merging #27 into master will increase coverage by 0.65%.
The diff coverage is 100%.

@@            Coverage Diff             @@
##           master      #27      +/-   ##
==========================================
+ Coverage   92.03%   92.69%   +0.65%     
==========================================
  Files           8        8              
  Lines         678      684       +6     
  Branches       59       67       +8     
==========================================
+ Hits          624      634      +10     
+ Misses         54       50       -4

Impacted Files	Coverage Δ
src/main/scala/io/chymyst/ch/TheoremProver.scala	96.87% <ø> (+1.56%)	⬆️
src/main/scala/io/chymyst/ch/Macros.scala	100% <100%> (ø)	⬆️
src/main/scala/io/chymyst/ch/TermExpr.scala	91.21% <100%> (+0.9%)	⬆️
src/main/scala/io/chymyst/ch/TypeExpr.scala	84.4% <0%> (+0.91%)	⬆️

---

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 5597c03...6a9cec7. Read the comment docs.