improve binarization of discontinuous constituents

- binarization after splitdiscnodes() now based on full horizontal history;
  this implies that maximal recurring fragments will always include all
  parts of a discontinuous constituent.
- horizontal history can now be abbreviated with numeric IDs