Don't clutter the IO with all these proof terms.

Usage:
  > caledon --io-only examples/hello.ncc
  name?
  world
  hi world!

Without --io-only, the IO is lost in a sea of proof terms.