New minor release with bug fixes for:

  1. normal form
  2. saturation