copyArrayPos_X refers to 'copy'. Lower immediately instead.
If we have array operations for element type [[t]] we must have
them for [t] as well even if [t] does not occur in the program.
Also, add a simple test case for copy of arrays of type [[[Length]]].
Fix two bugs: