Add TestTypeUnderlying.
Add TestTypeIdentical.
Implement more of Type.Identical and its test.