Modules for data-type declarations and data-flow parts of the algorithm added.