Application framework for Eiffel apps