Description

We can generally simplify unions involving object to object. We already do so for fully-static types, but this is also more generally true for all gradual types. For example, Any | object is equivalent to object.