Implement more of Type.Identical and its test.