combining definitions for Data and constrained Names