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