Lazy grounding and constructed types
Issue #536
new
don't yet work together::
Error: The following feature is not yet implemented: Resetting variables for 23InverseUNAFuncGenerator