Merge: new class MErrorType to handle buggy types