Polynomial Size Analysis of First-Order Shapely Functions (Logical Methods in Computer Science, 2009)