Made scalars associative.
Cleanup
Proofs of some basic properties.