Eiffel, мова праграмавання