20220629 typed language

[prozacchiwawa]

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

[coveralls]

Pull Request Test Coverage Report for Build 8792395803

Details

• 2864 of 3486 (82.16%) changed or added relevant lines in 18 files are covered.
• 12 unchanged lines in 5 files lost coverage.
• Overall coverage decreased (-0.2%) to 82.8%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/compiler/rename.rs	2	3	66.67%
src/compiler/comptypes.rs	19	22	86.36%
src/classic/clvm_tools/cmds.rs	36	40	90.0%
src/compiler/lambda.rs	68	77	88.31%
src/compiler/untype.rs	150	161	93.17%
src/compiler/evaluate.rs	183	206	88.83%
src/compiler/frontend.rs	490	529	92.63%
src/compiler/types/astfuns.rs	122	169	72.19%
src/compiler/types/context.rs	226	273	82.78%
src/compiler/types/ast.rs	105	156	67.31%

Files with Coverage Reduction	New Missed Lines	%
src/classic/clvm_tools/cmds.rs	1	68.65%
src/compiler/frontend.rs	1	90.04%
src/compiler/preprocessor/mod.rs	1	89.24%
src/compiler/evaluate.rs	2	88.37%
src/compiler/sexp.rs	7	80.02%

Totals
Change from base Build 8761341174:	-0.2%
Covered Lines:	17537
Relevant Lines:	21180

---

💛 - Coveralls