Type class for vectors that can be rendered to a CSV string (and a Breeze DenseVector[Double]), extended by State
State