The constraint `Traced (Envelope v)` is nonsensical and should be removed (which should be possible given the above changes to `AlignOpts`).  Ditto for `Enveloped (Trace v)` below.