preserve the type of the array

use TYPE[] PHPDoc annotations for arrays with the proper TYPE, instead of the generic 'array'