Use call spec when determining types of variables

[lukaszsamson]

Given the code

@spec some(Struct.t()) :: :ok
def some(arg), do: :ok
...
def other(var) do
  some(var)
  var.

We can assume that var has type Struct.t()