Type narrowing with `filter`

[mtshiba]

Now, this code passes type checking.

xs: [Nat or NoneType; _] = [1, None, 2]
ys: [Nat; _] = array filter x -> x != None, xs