Conventions

[ ] Means not done [R] Means done by an ai agent, but needs a human review [X] Means done

List of tasks

Unify error reporting. Create class ErrorHandler that get notified of every catched exception. This class prints the exception in stdout.
Make formula description collapsable in FormulaScreen. Initialy, the description is visible, but the user can hide it.
Refactor formula and unit loading:
- Create method `List<Object?> parseD4rtLiteral(String arrayStringLiteral). It parses a d4rt array literal (containing maps and arrays) to a List<Object?> using d4rt
- Make fromArrayStringLiteral from UnitSpec and Formula to use parseD4rtLiteral
- Create function List<Object> parseCorpusElements(String arrayStringLiteral). It uses parseD4rtLiteral and determines if each element of the array is a formula or a unit. Then converts the objects with Formula.fromSet or UnitSpec.fromSet.
- Create method loadFormulaElements( List