WyC: pushed the external Environment class into the FlowTypeChecker, since this is the only place it is used.  Updated the documentation for this class as well.