-- Assigned each term a random (not ensured to be unique) color when inserted into an environment:
   i.e. distinguishing one from assertion from another about the same topic.
-- For the sake of consistency, renamed field 'modal' in Condition to 'value'.
-- Imported Environment companion into Environment class, shortening the
text-length of references to Term and  its subclasses.

Signed off by: Mark Farrell<markfarr2011@gmail.com>