Adding Discrete Lyapunov Solver base-clas