Add spec for Axiom::Type::Object.infer to test ancestors

* When the argument does not support ancestors it should return nil.