ExtCtxt::ty_nil no longer exists