Hi,

It seemed like an obvious and useful improvement to add a "type" pattern
to pcase, so I prepared this patch.  I wondered if checking for
predicates like this was a good way to do so, and I saw that the
cl-typep inliner does basically this, so it seems reasonable.

If this seems like an acceptable idea, please let me know if any further
changes are required.

Thanks,
Adam