Added more declarations to externals
Added bounds-check to test/backend Makefile
Added a new test on array type inference bug
Simplified FFT/IFFT calls
Added Tufvesson CCA correlator