First version of derivatives (PROLOG)

Basic derivatives implemented.
Working on simplifications