pub(super) type BoxedRule = Box<dyn FallibleRule<Logical>>;
pub(super) struct BoxedRule(/* private fields */);