[ splitResult ] Interaction test case.
[ splitResult ] makeCase with no vars now tries to split on result
(introducing projection patterns).
[ splitResult ] documented in CHANGELOG.
Merge branch 'maint-2.4.0' into splitResult
[ splitResult ] Introduce pattern variables before splitting on result.
This handles function types ending in record type.
[ splitResult ] Updated test case to work with function types.
[ splitResult ] updated CHANGELOG to include function types.
make a modest effort to pick names for arguments to unquoted funs

calling every argument z made for some pretty unreadable types
now picks
- A for sorts
- f for functions
- map toLower (take 1 (show d))) for defined types d
prototype: Handle stuck types when comparing equality correctly.
prototype: Fix bug in eta-expansion.
[ issue1238 ] test case
[ issue1238 ] updated test case: the problem is module instantiation
[ issue1238 ] added a field defInstance :: Maybe QName to definitions

keeps track of whether the definition is an instance and if so, of
what class
[ issue1238 ] defs in instantiated modules inherit 'instance' status
[ issue1238 ] fixed (now) overlapping instances in old test case
updated error message with better unquoted names
prototype: Check syntactic equality early in checkEqual
[ issue 1239 ] test case
[ issue 1239 ] More debug printing.
[ issue 1239 ] Removed commented-out code.