Adds test to verify shape and type for array types