Is this really the right check?  Do these cases work correctly?

1. No declaration list expected when pressing `.` at $:

```
    let f x = $
```

2. Declaration list for type int expected when pressing `.` at $:

```
(3)
     $
```