DSL.among delegates to Predicate.among
Add Predicate#hasCode, #equals and #rename.
Optimizer: push restrict over rename.