cleaned up unquote type checking
changed verbosity names for unquoting to tc.unquote.{term,decl}
[ issue1237 ] test case
[ issue1237 ] refactor: added reifyUnquoted to TypeChecking.Quote
[ issue1237 ] added TCEnv flag for reifying unquoted things
[ issue1237 ] fixed: don't insert implicit parameters when unquoting
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
[ 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
[ issue 1239 ] test case
[ issue 1239 ] More debug printing.
[ issue 1239 ] Removed commented-out code.
[ issue 1239 ] Fixed by checking recEtaEquality in isSingletonType.
[ issue 1239 ] Updated test case Issue840a (explicit ETA).
Merge branch 'maint-2.4.0'
[ issue 1243 ] Upgraded to equivalence-0.2.4.