Parameters and binding forms should be mutually recursive

An idea about syntax for destructuring in languages with anonymous record types.