Fixed all of the module documentation.
Fixed the issue with Tropical one - zero is the multiplicative identity.

TODO: Make Matrices tropical.