[r=Rocky] Carl fix demos

REPL may be a bit unstable for a little while as the checker comes into action.

The expression is checked, but the computed constants aren't used. You'll still get nice errors when mixing types though.

```
go> 1 + "abc"
cannot convert "abc" to type int
invalid operation: 1 + "abc" (mismatched types int and string)
```