Improved support for eliminating terms that are mapped to 0-tuples. 0-ary terms are used to decide which overloaded relation to apply in DynSem. In Coq, overloaded relation get disambiguated, meaning such 0-ary terms play no role. DS2V files support eliminating these by mapping them to 0-tuples. This commit fixes the missing support for this in the code generator
Improved support for eliminating terms that are mapped to 0-tuples. 0-ary terms are used to decide which overloaded relation to apply in DynSem. In Coq, overloaded relation get disambiguated, meaning such 0-ary terms play no role. DS2V files support eliminating these by mapping them to 0-tuples. This commit fixes the missing support for this in the code generator

metaborg/dynsem,metaborg/dynsem