Add ExactObj/SubObj tracking to JIT::Type

Summary: Allows us to specialize an Object type as being exactly a class C,
or a subtype of class C.

Reviewed By: bertrand, bsimmers

Differential Revision: D1389235