docs: show verified failure messages for all three libraries in the comparison page

[vbreuss]

The failure-messages section of the architecture comparison page listed an Expect.ThatAll output with no source code and only described the other libraries' messages in prose.

• Restructure the section into the established tabs layout: each tab shows the actual failure output of the rule from the top of the page (presentation layer referencing the data layer), for all three libraries.
• All messages are verified, not invented: the aweXpect.Reflection output (including the Because(…) reason) was captured from a real test run; the ArchUnitNET FailedArchRuleException format and xUnit's Assert.True() output were checked against the respective sources.
• Replace the floating Expect.ThatAll example with a one-sentence teaser linking to the full code + output example in the architecture-rules page.

Rename layer selection variables

Rename domain/infrastructure/repositories to domainTypes/infrastructureTypes/repositoryTypes in the architecture-rules page and the README. The variable name appears verbatim in Expect.ThatAll failure messages, so Expected that domainTypes are all sealed now reads naturally (verified against a real test run).

[github-actions]

Test Results

    13 files  ±0      13 suites  ±0   9m 43s ⏱️ +4s
 6 672 tests ±0   6 669 ✅ ±0   3 💤 ±0  0 ❌ ±0 
39 877 runs  ±0  39 864 ✅ ±0  13 💤 ±0  0 ❌ ±0 

Results for commit 022f2f4. ± Comparison against base commit 4079331.

[github-actions]

🚀 Benchmark Results

Details

BenchmarkDotNet v0.15.8, Linux Ubuntu 24.04.4 LTS (Noble Numbat)

AMD EPYC 7763 2.45GHz, 1 CPU, 4 logical and 2 physical cores

.NET SDK 10.0.300

[Host]     : .NET 10.0.8 (10.0.8, 10.0.826.23019), X64 RyuJIT x86-64-v3

DefaultJob : .NET 10.0.8 (10.0.8, 10.0.826.23019), X64 RyuJIT x86-64-v3

Method	Mean	Error	StdDev	Gen0	Allocated
TypeIsNotStatic_aweXpect	223.7 ns	3.60 ns	3.37 ns	0.0386	648 B

[github-actions]

👽 Mutation Results

aweXpect.Reflection

Details

File	Score	Killed	Survived	Timeout	No Coverage	Ignored	Compile Errors	Total Detected	Total Undetected	Total Mutants

The final mutation score is NaN%

Coverage Thresholds: high:80 low:60 break:0

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[github-actions]

This is addressed in release v2.0.0.