Bi-inhabited sort

Stream: std4

[Damiano Testa]

I just noticed that both docs4#instInhabitedSort (in Init.Prelude) and docs4#instInhabitedSort_1 (in Std.Logic) exist. Is this simply a duplication that can be removed, or is there some reason to have the two (apparently equal) instances?