Fix SliceType's default initializer.

Is that necessary ? If it is only necessary to one place, then it is best to import locally.