idris-0.9.13: test/interactive004/input

:ref 2 foo_rhs1 plus 
:ref 6 append_rhs1 append