Stratified the various tropical things.

* Dissolved Tropical.Types, turned it into
    - Tropical.Tropical, containing a minimal definition of tropicality
    - Tropical.Scalar, containing all of the same things the Number definition
      had.
* Added sortability requirement to tropicality.