Fixes value equality for TyConApps (with pointer equality rather than raw value eq)