Move test case for #8631 to the correct directory.
Fix #8758 by assuming RankNTypes when checking GND code.
Test #6147, which was fixed with the roles commit.
Test #7481, which had already been fixed.
Fix #8759 by not panicking with TH and patsyns.

We should still have pattern synonyms in TH, though.
Apply changes relative to TH.Pred becoming a TH.Type's synonym (issue #7021)

Signed-off-by: Richard Eisenberg <eir@cis.upenn.edu>
Fix tests due to issue #7021

Signed-off-by: Richard Eisenberg <eir@cis.upenn.edu>
Refactor previous commit on fixing #7021.