Improve REPL Output

[ironm00n]

Need to be able to:

• extract srclocs for better error reporting and test extraction
• need error displays for:
  • contracts
  • parse errors
  • normal errors?
• need to somehow serialize the check results better