Use find … -delete.
[ rename ] bound variable typeCheck to doTypeCheck.

Helps grepping for Interaction.Imports.typeCheck.
[ comment ] about typeCheckMain updated in InteractionTop.
[ rename ] bound variable ds, ds' for clarity.
[ refactor ] Inlined 2liner Imports.typeCheck (used only once).
[ interaction test ] for evaluating an expression in top level scope.
[ Serialize ] No longer serialize iInsideScope.

Saves 50% of crap like AbsolutePath.
Instead, we always retypecheck upon reload to reconstruct the insideScope.
[ testsuite ] Changed interaction test as we always retypecheck main file now.
[ fix ] When --no-positivity-check, only suppress error messages.

Still compute the information we need e.g. about recursiveness of records.
Merge branch 'maint-2.4.2'
[ refactor ] patternViolations don't need to store the state
Merge remote-tracking branch 'origin/maint-2.4.2'
[ fix ] added missing constructorForm in LHS.Unify
[ sharing ] resurrected pointer term representation

Type checking times are more or less the same,
slightly slower type checking (of std lib), but faster
serialisation.

Big win is actual call-by-need compile-time evaluation.
[ sharing ] updated error messages and interaction output

Things get more evaluated now, since evaluation gets shared.
[ sharing ] added more missing ignoreSharing
[ sharing ] updated error messages again