Repl definitions

`:let` should now allow you to define custom syntax at the repl:
```
> :let syntax bot = _|_
> bot
_|_ : Type
> :let syntax "|" [x] "|" = Just x
> |5|
Just 5 : Maybe Integer
```