[type checker] Implemented type checking of array expressions. Tested by adding bogus Array traits in the CompilerLibrary?. Tests should be added when generic traits can be compiled.
