Edit the LLF

Edit the Lambda Logical Forms generated by the theorem prover. After editing an LLF, the prover should create new tableaux and update its judgement.

Nice to have. LangPro cannot handle this yet. Lasha will have to work on this if we decide to implement this.

The issue names LLF editing, tableau creation, and judgement updates but does not identify files, tests, or entry points. First clarify whether this feature is still wanted and define the expected editing flow with maintainers; completion would require editing an LLF and confirming that new tableaux and the judgement are updated.

Written by the indexing model from the issue text.