Two descriptors are synonymous if they have the same bit pattern and their types are the same (with a single exception to the signedness of integers). We could relax this constraint in most cases allowing two descriptors to be synonymous only if their bit pattern is the same.