Introduce ArgNames and NumericConstant