LeoDex and Inleo: Going Steadily Up and Forward