pub type FId = i32;
Every constituent has a unique id. If the constituent is discontinuous, it will be represented with several brackets sharing the same id.