Added a usable showLong to the repl

- There are quite a few hacky bits added to the type checker now, which were
  necessary to resolve boxed-vs-unboxed arguments to functions. This should be
  temporary, though, as even the hacks don't work particularly well, and we need
  to revisit how we do some things to make them unnecessary.

- Also fixed a tiny test suite bug.