Improvements for the error-recovery

Currently, the error recovery has a few problems we need to resolve. There are extraneous error messages, for example, caused by missing ghost identifiers.

We should improve those.

Acceptance criteria

• Extraneous messages in the type-checker are discarded.
• Tests added.