pub fn identical(x: TypeKey, y: TypeKey, objs: &TCObjects) -> bool
identical reports whether x and y are identical types. Receivers of Signature types are ignored.