working on type checking ArrayExpressions