Match the equivalence checking method for compound types to its meaning. 1. Name equivalence Two types are the same only if they have the same name, even if their structures match. Two types are the same if they are the same kind & type and their component types are equivalent, recursively. 2. Structural equivalence