Add parametric types

Add tests for multi-dimensional and nested arrays