Includes a number of changes going back to early Jan. 2021. The largest being a rewrite of the old type checker, making some older programs no longer compatible, but improving the quality of the system overall.
- Type checker changes #176
- Match parameter count to input type cardinality #173
- Convert EvalEnv from a List to a Map, predominantly to avoid unnecessary duplication in the env #167
- Removes unpackBool, and propagates errors from BinOps using the existing evaluation monad instead #170
- Undefined Symbols report errors in the REPL, as do types (which are not values) #115
- Type errors improved when stemming from an underlying error in a chain of applications #157
- Comparison of symbols and other base types resolved, under the basis of the new type system #134