fix defArgs klabel not appearing in execution semantics

Author: chathhorn

semantics/cpp/language/common/common.k

@@ -4,6 +4,7 @@ require "builtin.k"
 require "class.k"
 require "conversion.k"
 require "dynamic.k"
+require "env.k"
 require "error.k"
 require "io.k"
 require "map.k"

semantics/cpp/language/execution/env.k

@@ -1,6 +1,7 @@
 module CPP-EXECUTION-ENV-SYNTAX
      imports CPP-TYPING-SYNTAX
      imports CPP-SYMLOC-SYNTAX
+     imports CPP-COMMON-ENV-SYNTAX
 
      syntax KItem ::= addToExecEnv(CId, CPPType, SymBase, Bool) [klabel(cppAddToExecEnv)]
 

semantics/cpp/language/translation/env.k

@@ -2,6 +2,7 @@ module CPP-TRANSLATION-ENV-SYNTAX
      imports BASIC-K
      imports BOOL-SYNTAX
      imports COMPAT-SORTS
+     imports CPP-COMMON-ENV-SYNTAX
      imports CPP-DYNAMIC-SORTS
      imports CPP-SYMLOC-SORTS
      imports CPP-TYPING-SORTS
@@ -18,14 +19,6 @@ module CPP-TRANSLATION-ENV-SYNTAX
 
      syntax KItem ::= updateDefaultArguments(QualId, CPPType, DefaultArguments) [strict(3)]
 
-     syntax DefaultArguments ::= defArgs(vals: StrictList, types: StrictList, cats: StrictList) [strict(1)]
-
-     syntax DefaultArguments ::= DefaultArgumentsResult
-
-     syntax DefaultArgumentsResult ::= defArgs(vals: StrictListResult, types: StrictListResult, cats: StrictListResult)
-
-     syntax KResult ::= DefaultArgumentsResult
-
      syntax List ::= getDefaultArgsVals(DefaultArgumentsResult) [function]
 
      syntax List ::= getDefaultArgsTypes(DefaultArgumentsResult) [function]