Introduced box_univ_clauses and univ_clauses.

* Added: ground_clauses() now takes a vector of box univ clauses and
  static univ clauses.
* Fixed: substitution of box with action sequences.