added object orientation

removed obsolete classes, fixed Lexer and Solver, making them static and
adding more lightweighted implementation