Harlan should make sure data type constructors are disjoint

[eholk]

Right now if you repeat constructors you end up with redefinition C++ errors. It would be better to have these detected and reported earlier.