Update interactive Idris commands to new idris-eval signature