Added some order axioms to scalars.
Revised state space.
Need to prove <conj s | s1 join s2> = <conj s | s1> + <conj s | s2> somehow, probably
by axiom for now.

Need to further develop theory of complex conjugates, preferably focused on
conjugates themselves, not actually implying the existence of i.
Further modifications to state space.