Integrating MultiEnvelope with BoundedDatatype.