idris-0.10.1: test/interactive004/expected

plus ?foo_rhs2 ?foo_rhs3
(append k m ?append_rhs2 ?append_rhs3)