Bringing system up to date with features claimed in README

  * Contraction and weakening support for ?-formulas
  * Examples added in the examples/ subdirectory