Add SVM-based array types

[inducer]

Should cover both fine- and coarse-grain SVM.

[inducer]

#452 make it so that an SVM-based allocator suffices.