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.