Add Constraint.Key proof object which can derive
both KeyConstraint and projection path.