Added more checks to CoreLint; bug fix to remove Type (CoercionTy ...)