Dependent Pattern Matching Evolves