20220629 typed language

[prozacchiwawa]

Massive change to add optional typing to chialisp.
Documentation started in types.md

[coveralls-official]

Pull Request Test Coverage Report for Build 6126098427

• 1975 of 2621 (75.35%) changed or added relevant lines in 20 files are covered.
• 15 unchanged lines in 3 files lost coverage.
• Overall coverage decreased (-0.7%) to 77.83%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/classic/bins/repl.rs	0	1	0.0%
src/compiler/rename.rs	7	9	77.78%
src/compiler/comptypes.rs	11	14	78.57%
src/compiler/untype.rs	100	111	90.09%
src/compiler/evaluate.rs	24	36	66.67%
src/classic/clvm_tools/cmds.rs	21	35	60.0%
src/compiler/frontend.rs	337	364	92.58%
src/classic/bins/typetest.rs	0	35	0.0%
src/compiler/types/astfuns.rs	96	134	71.64%
src/compiler/types/ast.rs	77	116	66.38%

Files with Coverage Reduction	New Missed Lines	%
src/classic/clvm_tools/cmds.rs	2	62.76%
src/compiler/sexp.rs	6	76.55%
src/compiler/evaluate.rs	7	83.42%

Totals
Change from base Build 6124965439:	-0.7%
Covered Lines:	9419
Relevant Lines:	12102

---

💛 - Coveralls