Cleanup function type creation in tc/rec-lambda/check;
Fix name escape in tc/rec-lambda/check.
Delete case in tc-expr which is not needed.
Make update do actual structural recursion over the path.
Cleanup env+.
Cleanup combine-props.
Make implied-atomic work on AndFilters as well.
Add with-lexical-env/extend-props.
Simplify how we add props after tc-if.
Make tc-if use add-unconditional-prop.
Make tc-if not manage raw prop-envs.
Make tc-let add unconditional prop.
Move the unconditional prop addition to with-lexical-env/extend-props.
raco decompile: improve argument checking and reporting

Relevant to PR 14525
typo
Update SCG section based on Sam-TH and Greg's comments
doc repair to Reference
compiler/compilation-path: added

Provides functions for finding the bytecode path for a source file,
which might depend on PLTCOMPILEDROOTS, etc.
raco {make,decompile}: fix bytecode path calculation

Use `compiler/compilation-path` to take into account PLTCOMPILEDROOTS, etc.

Closes PR 14525
optimizer: treat known procedure bindings, etc., as #t for `if`

Closes PR 14526