Idris2 :interpret result doesn't include type

[meraymond2]

This isn't necessarily a bug, but I'd like clarification that this is the expected behaviour.

You can see this in the repl too, in v1

Idris> 2 + 2
4 : Integer

and in v2

Main> 2 + 2
4

[meraymond2]

I've made an issue that documents this change.