		CHANGES from Eiffel -> Sather version
		=====================================

all abstract classes are ANY...

a number of Eiffel constructs like 'deferred' are simulated in
a most general class ANY, which also contains our init
convention.


Some of the inheritance structure was changed to simplify things.
But the general architecture is roughly the same.
It is documented in models/HIERARCHY which also documents
the default initialization.


		   Moreover the following renaming was done

COMP_OBJECT -> ANY_MODEL
OUTPUT_OBJECT -> ANY_SINGLE_OUTPUT
to_fixpoint -> solve

VARIOUS array access primitives have different names, check for

 force, position, delete_ith, has

 
