[ 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).