Nonfinite Structures in Theory and Change