Don't show unstable metavariable numbers in type errors.

[typeswitch-dev]

Either make the metavariable numbers stable within each definition, or don't print the numbers when showing the type (replacing them with variable names perhaps).

Currently the instability is the reason one test keeps failing whenever we change the prelude (error-recursive-block-type.mth). The test has been disabled until the issue is resolved.