symbol -> Symbol in SinglePSpace constructor
polarify doesn't descend beneath exprs