round tripping for dict insertion and membership (with Key)