pub const fn is_first_order(pos: u8) -> bool
First-order positions are rules of conduct; second-order are rules of control.