Version 2.2.0 of the SemGuS Parser now emits events for declaring and defining datatypes. See: * https://github.com/SemGuS-git/Semgus-Parser#declare-datatype * https://github.com/SemGuS-git/Semgus-Parser#define-datatype
