Formal System: AST API Design

[jix]

Design of a common API providing an abstract syntax tree datatype that will be used to store and manipulate terms of the formal system.

This will include a (potentially incomplete) naive implementation suitable to start prototyping some uses of this API. The implementation details of the naive implementation should not leak into the provided API, so that, at a later point, we can replace it with an optimized implementation.