Introduce good names for algorithms

Create new precise, human-readable, and human-understandable names for algorithms and respective classes and functions. For example, ```matrixBase``` is a bad name, ```matrixAllPairsReachability``` is better.