I'm taking a different path than Enzo. Fully tsc compatible and more sound on top

You can see LSP working in the playground. It is still WIP but pretty fast. I'll add LSP benchmarks later. My design is highly biased towards fast incremental checks