Type Dynamics