Following an article by Roger Osmond Auto-Increment_Proposal, I propose the following additions.

To both classes INTEGER_GENERAL and CHARACTER_GENERAL, add features successor and predecessor, both queries returning like Current.

As of version 6.0.6.6895, EiffelStudio can compile against either EiffelBase or FreeELKS. "FreeELKS is a joint effort between Eiffel Software and Eric Bezault to provide a compiler independent implementation of the ELKS classes. Currently FreeELKS is based on EiffelBase with minor modifications so that it can be compiled by more than one compiler, currently EiffelStudio and gec.