rename vector-like symbolic type to ArrayType

In the following we'll introduce a separate VectorType, which gets
translated to Eigen::Vector<>
introduce VectorType
use VectorType for input parameters
convert ScalarProd[] to Eigen scalar product