Lean4-ts

Add research/docs, tests; update compiler code

Add support for built-in functions and list methods

Fix multiple parser and evaluator issues in Lean4 TypeScript compiler

Support Lean parsing tokens & update test programs

Refactor mergesort to use List API and proofs