The names of the product elements
The name of the type
Insert a symbolic variable in to a map of variables to types.