polarify doesn't descend beneath exprs