A tree-sitter based major-mode for SATySFi