Specify handling of duplicate type declarations during elaboration

[jopperm]

I made user-defined types subject to the same rules as the other architectural state items, see last sentence in https://github.com/Minres/CoreDSL/wiki/Elaboration#composition-of-architectural-state-and-user-defined-types.