Removed PClosure. Closure variables are now represented as PBVar chains through their materialization points. Cleaned up duplicate pretty instances.