pub type BoxedProcedure = Box<dyn Procedure>;
Boxed Procedure.
pub struct BoxedProcedure(/* private fields */);