to prove that {'type':'type'} === 'type' in description maps
to prove that {'type':'type'} === 'type' in description maps