Changes to testsuite

Changes to testsuite:
commit 5a880de8b2c2eb1fbae771f6f5367055570483fd
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Wed Nov 20 09:38:53 2013 +0000

    Test cases for context stack overflow

    one for constraints, one for type families