A dedicated view type for Proofview_gen.split.

It doesn't seem to affect performances. But the generated code is slightly cleaner.