Simultaneous actualization and renaming of formal types is not supported.
Eludo was tested on black&white screens only, due to the
unavailability of other types of equipments. All steps to insure that the
toolkit will function properly on greyscale and color monitors have been
taken, to the best of our knowledge.