The type of a substitutable element cannot conflict with the type of the element it is meant to replace. If the element to be replaced has no type, then there is no conflict.