Cleaned up Differentiate.mo

* fixed comments
* fixed typos
* removed unused match patterns
* removed unused variables
* used some syntactic sugar

Author: lochel