Make NameDec a data type, for later hiding from public interface.