Hi hi, Is the `definition` method missing from the `Values::InvalidEnvelopeVal`? It seems like `AbstractVal` assumes all derived classes implement `definition`. Please let me know if I'm misunderstanding something. If I'm correct that it is missing, I'd be happy to take a swing at a PR. Thanks for your time!