This includes defining data types that are close to the HOA representation as well as their semantics.

Furthermore, the data structures need to be converted to actual strings in SML code.