FirstType is more complex than SecondType, in the sense of PCG types, if both types are different and valid and we can broadcast SecondType to FirstType. It is useful to find the most complex type between operands of a given operation.