Test cases for context stack overflow

one for constraints, one for type families