raco setup: fix PLTCOMPILEDROOTS handling when checking pkg deps

Closes PR 14540
Don't lose syntax locations for TR define

Closes PR 14544
raco setup: fix for relative & multiple paths in PLTCOMPILEDROOTS

Fix the part of `raco setup` that deletes ".zo" files that
have no corresponding source.
document and deprecate 3-argument call to default module name resolver

Calling the default module name resolver with three arguments logs an
error message. The intent is that 3-argument support will be removed,
eventually.
syntax/docprovide: fix direct call to module name resolver

Also, deprecate the library.
mzcom doc improvements
fix many more 3-argument calls to the module name resolver
unbreak drracket

A conversion in 2f46525a7d was wrong.
win32: repair for VS Studio build

Thanks to Gustavo Massaccesi

Closes PR 14555
Fix printing for certain list types with a mu var

Closes PR 14552
Disallow non-productive PolyRow types

Closes PR 14554
Adjust TR error message for consistency

The non-productive type check in type parsing and in type
alias setup should produce the same failure messages.
Make tc-expr the same implementation as tc-expr/check.
Remove conditional tc-expr/check splits that no longer need to exist.
Remove tc-body, and 0 arg case in tc-body/check.
Remove tc/app/check.
Remove tc/lambda/check.
Improve filter simplification.

(T @ x) => (! S @ x) when their intersection is empty.
Rearrange how we look through filters in -and so this rule applies more.
Move tc-if merging results logic to tc-metafunctions for reuse.
Remove distinction between check and non check variant of check-subforms-unit.

Use new merge-tc-results as well.
This revealed some buggy tests as well which are also fixed.