Coerce container types during comparisons

[mattnibs]

Currently equality comparisons only work for complex/container types if the types exactly match.

For instance:

values 
  {x:1} == {x:1::uint32},
  [1,2] == [1::uint32,2::uint32]
  |{"foo":2}| == |{"foo":2::uint32}|

all return false because the types of the containers are not the same. We should instead be coercing the comparable leaf values like we do when comparing primitives (e.g., 1 == 1::uint32).

Additionally, equality comparisons just flat do not work for vector runtime. Fix this as well.