Debugging typically helps you gain insight in what's happening down in the code. Debugging the type-system is a special challenge, though. The MPS type-system engine performs type calculations on the type-system rules trying to match types to the language elements used in the code. You, as a languag…
