added tests
Added ArrCompr to Lexer and Parser
added ArrCompr to the typechecker