idris-0.9.18: test/interactive006/expected

plus ?foo_rhs2 ?foo_rhs3