Add a useful assertion message if a type gets multiply declared.