Make scoped type vars work only for explict Alls and annotations.

Solves major issue disscussed on PR 13586.
Closes PR 13622.
Solves issue when typechecking lambdas with types like (All (a) Any).
Closes PR 13596.
Closes PR 13539.
Closes PR 13703.
adjust DrRacket to offer installation of packages
based on exn:missing-module?
only include --force when the checkbox isn't disabled

related to PR 13777
Centralize the definition of the plambda syntax property.
Centralized typechecker:ignore properties.
Consolidate the rest of the syntax properties in TR.