renamed the SemanticPipelineSolver to Solver

We don't need such an elaborate name for internally based classes.

This solves gh-12