Rewrite the Tropical definition to be a data type.