TC-4 Given Code

Some code is provided through the tc-base repository, using the tag 2028-tc-4.1.

For a description of the new module, see The src/ast Directory, The src/type Directory, additionally The src/object Directory, The src/astclone Directory, The src/desugar Directory.