On Transferring Transferability: Towards a Theory for Size Generalization