Eiffel mode updates
replaced command aliases by a command hub: "p"