Rename encode_pson to encode_plon