Tree-sitter-lean

Implement a Tree-sitter for Lean 4