Created test for MPS-17338
Support displaying and navigating to typing rules that produced errors during typechecking, MPS-17916