- Added 'algorithms' section.

- Added support for several PBES rewriters.