This requires unfortunately an additional layer of indirection, however
I believe it's super cheap and it shouldn't impact execution speed.

In the mean time, many other predicates (isFoo etc) which rely on isa()
will be correctly type-inferred, which gives a huge win for editing and
debugging purposes.