add any propagation for ArrT
add any propagation for ArrT

Summary:
added cases for ArrT types:

any <: ReadOnlyArray<t> -> any <: t
any :> ReadOnlyArray<t> -> any :> t
any <: Array<t> -> any <: t ∧ t <: any
any :> Array<t> -> any <: t ∧ t <: any
any <: Tuple<t, ts> -> any <: t ∧ t <: any ∧ (∀ ti ∈ ts, ti <: any ∧ any <: ti)
any :> Tuple<t, ts> -> any <: t ∧ t <: any ∧ (∀ ti ∈ ts, ti <: any ∧ any <: ti)

Reviewed By: samwgoldman

Differential Revision: D10343184

fbshipit-source-id: 5e2f7dc4cc8d8e89bc0eb3fcfee939a1efbd5af0

nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow