Allow signatures at the REPL also.
Allow signatures at the REPL also.

The syntax looks like:
```
let f : Integer -> Bool; let f x = x == 0
```

The leading `let` is not the most beautiful, but it gets
the job done and prevents parser conflicts.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol