Variable Parameter.projection

A projection operation that can enforce some constraint

struct Parameter
{
  // ...
  Operation delegate(Operation) projection ;
  // ...
}