Check if two descriptors are the same or similar, in that the smaller one's keys are all present in the larger
one and their types line up - used to detect when a newly-described value actually matches a descriptor already
in the map, so it can be pointed at instead of creating a duplicate.
Parameters
descriptor1: descriptor
The first descriptor to compare.
descriptor2: descriptor
The second descriptor to compare.
Returns boolean
True if the descriptors describe a compatible shape.
Check if two descriptors are the same or similar, in that the smaller one's keys are all present in the larger one and their types line up - used to detect when a newly-described value actually matches a descriptor already in the map, so it can be pointed at instead of creating a duplicate.