Two types are equal if they have the same name