Constraining types in scopes

In a given example we don't constrain type of var `x` to type `Num`

```amber
fun foo(x) {
if x == 0 {
return "zero"
}

return -1
}

let x = foo(10)

if x == 10 {
echo x // x is of type Text | Num
}
```