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