I like the perspective that the set of states is precisely the set of *positive trace class operators $M$ of trace one*. A state is called *pure* if $M=pr^{\perp}_{U}$ is the orthogonal projection onto a one-dimensional subspace $U$. 


So, every non-zero vector $\psi$ defines a pure state. Since the orthogonal projection onto $\mathbb{C}\psi$ is the same operator as the orthogonal projection onto $\mathbb{C}x\psi$, for every $x\in \mathbb{C}^\times$, there is no confusion about equiavlence classes.

Concerning the superposition of states, one shows:

 - The set of states is convex (this is a nice reformulation of the fact that in a linear combination only the ratio of the coefficients counts).

 - Every state is a convex combination of pure states.

 - A state is pure if and only if can be written as a convex combination of other states only in a trivial way. 


This point of view is described in the book 

 - L. A. Takhtajan, "Quantum mechanics for mathematicians", Graduate Studies in Mathematics Vol. 95, AMS, 2008