public override Boolean EqualType(ExprType other) => other.Kind == ExprTypeKind.ARRAY && ((ArrayType)other).ElemType.EqualType(this.ElemType); }