implement simplify_type for PATypeHolder so that isa<FooType>(PATypeHolder)