Tarballs for type-equality

The following versions of type-equality exist: