Text this: Polynomial Size Analysis of First-Order Shapely Functions