These were failing to type check before, because id was not
generalized.

``` unison
foo = do
  id x =
    _ = 1
    x
  id ()
  id "hello"

bar = do
  id x = x
  id ()
  id "hello"
```

``` ucm

  Loading changes detected in scratch.u.

  I found and typechecked these definitions in scratch.u. If you
  do an `add` or `update`, here's how your codebase would
  change:
  
    ⍟ These new definitions are ok to `add`:
    
      bar : 'Text
      foo : 'Text

```