Fix #8706, documenting that type operators are not promoted.