Rigorous Function Calculi in Ariadne