Revert "Add test for #84."

This reverts commit f3919e97da57cc350affe603d738ab4c179c4a79.
ExactPrint for TyEquals
Simplification for TyEquals
Annoted instance for TyEquals and TyEquals constructor
Convert TyPred to proper types in checkT
Pretty instance for TyPred
Fixed ConstraintKinds test case
TyEquals in Syntax