More skolem tweaks

Added some hard coded stuff to be able to run code with a simple existential
type. Tweaked the way that skolem escape checking works to zonk its own types,
and return the things it zonked to save work.