Does not support & capture

The following module does not type check:

```
defmodule TypeChecks.Enum.Map do
  @spec add_one(Enum.t()) :: Enum.t()
  def add_one(enum) do
    Enum.map(enum, &(&1 + 1))
  end
end
```

```
    ❌  TypeChecks.Enum.Map.add_one/1
        |
        | unknown call &/1
```