LOOP: supply a better type for default init values.

When the default value is a vector it lets the length slip in,
proving difficult to optimize the types later.

Fixes lp#1388150.