Bugfix: correctly guess C-type for vectors
remove redundant replacement rule
implement conversion functions for VectorType
convert parameter names of type VectorType